Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
5,840
Metric propositional neighborhood logics on natural numbers
- SOFTW SYST MODEL
, 2011
"... Interval logics formalize temporal reasoning on interval structures over linearly (or partially) ordered domains, where time intervals are the primitive ontologi-cal entities and truth of formulae is defined relative to time intervals, rather than time points. In this paper, we intro-duce and study ..."
Abstract
-
Cited by 11 (7 self)
- Add to MetaCart
-duce and study Metric Propositional Neighborhood Logic (MPNL) over natural numbers. MPNL features two modal-ities referring, respectively, to an interval that is “met by” the current one and to an interval that “meets” the current one, plus an infinite set of length constraints, regarded as atomic propositions
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders
- In Proc. of the 11th European Conference on Logics in AI, number 5293 in LNAI
"... Abstract. The study of interval temporal logics on linear orders is a meaningful research area in computer science and artificial intelligence. Unfortunately, even when restricted to propositional languages, most interval logics turn out to be undecidable. Decidability has been usually recovered by ..."
Abstract
-
Cited by 7 (6 self)
- Add to MetaCart
-based decision procedure for the future fragment of Propositional Neighborhood Logic over the whole class of linearly ordered domains. 1
Crossing the undecidability border with extensions of propositional neighborhood logic over natural numbers
- Journal of Universal Computer Science
"... Abstract: Propositional Neighborhood Logic (PNL) is an interval temporal logic featuring two modalities corresponding to the relations of right and left neighborhood between two intervals on a linear order (in terms of Allen’s relations, meets and met by). Recently, it has been shown that PNL interp ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
Abstract: Propositional Neighborhood Logic (PNL) is an interval temporal logic featuring two modalities corresponding to the relations of right and left neighborhood between two intervals on a linear order (in terms of Allen’s relations, meets and met by). Recently, it has been shown that PNL
A decidable logic for time intervals: Propositional neighborhood logic
- Proc. of the AAAI-2002 Workshop on Spatial and Temporal Reasoning
, 2002
"... Logics for time intervals provide a natural framework for rep-resenting and reasoning about timing properties in various ar-eas of artificial intelligence and computer science. Unfortu-nately, most time interval logics proposed in the literature are (highly) undecidable. Decidable fragments of these ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
of these logics have been obtained by imposing severe restrictions on their expressive power. In this paper, we focus our attention on the propositional fragment of Neighborhood Logic (PNL for short). We show that PNL is expressive enough to capture meaningful timing properties and that it is decidable. Decid
Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders
"... We investigate the question of how much hybrid machinery can be added to the interval neighbourhood logic PNL and its metric extension MPNL without losing the decidability of their satisfiability problem in N. In particular, we consider the natural hybrid extension of MPNL obtained by adding binders ..."
Abstract
- Add to MetaCart
We investigate the question of how much hybrid machinery can be added to the interval neighbourhood logic PNL and its metric extension MPNL without losing the decidability of their satisfiability problem in N. In particular, we consider the natural hybrid extension of MPNL obtained by adding
A new modal logic for reasoning about space: spatial propositional neighborhood logic
- Annals of Mathematics and Artificial Intelligence
"... It is widely accepted that spatial reasoning plays a central role in artificial intelligence, for it has a wide variety of potential applications, e.g., in robotics, geographical information systems, and medical analysis and diagnosis. While spatial reasoning has been extensively studied at the alge ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
at the algebraic level, modal logics for spatial reasoning have received less attention in the literature. In this paper we propose a new modal logic, called Spatial Propositional Neighborhood Logic (SpPNL for short) for spatial reasoning through directional relations. We study the expressive power of SpPNL, we
Right propositional neighborhood logic over natural numbers with integer constraints for interval lengths
- In Proc. of the 7th IEEE Int. Conference on Software Engineering and Formal Methods (SEFM
, 2009
"... Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive on-tological entities. In this paper we introduce and study Right Propositional Neighborhood Logic over natural num-bers with int ..."
Abstract
-
Cited by 4 (1 self)
- Add to MetaCart
Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive on-tological entities. In this paper we introduce and study Right Propositional Neighborhood Logic over natural num
Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search
, 1996
"... Planning is a notoriously hard combinatorial search problem. In many interesting domains, current planning algorithms fail to scale up gracefully. By combining a general, stochastic search algorithm and appropriate problem encodings based on propositional logic, we are able to solve hard planning pr ..."
Abstract
-
Cited by 579 (33 self)
- Add to MetaCart
Planning is a notoriously hard combinatorial search problem. In many interesting domains, current planning algorithms fail to scale up gracefully. By combining a general, stochastic search algorithm and appropriate problem encodings based on propositional logic, we are able to solve hard planning
Propositional interval neighborhood temporal logics
- Journal of Universal Computer Science
, 2003
"... Abstract: Logics for time intervals provide a natural framework for dealing with time in various areas of computer science and artificial intelligence, such as planning, natural language processing, temporal databases, and formal specification. In this paper we focus our attention on propositional i ..."
Abstract
-
Cited by 16 (12 self)
- Add to MetaCart
interval temporal logics with temporal modalities for neighboring intervals over linear orders. We study the class of propositional neighborhood logics (PNL) over two natural semantics, respectively admitting and excluding point-intervals. First, we introduce interval neighborhood frames and we provide
Results 1 - 10
of
5,840
