1083 search results - page 56 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
153
click to vote
AAAI
1996
15 years 3 months ago
1996
This paper presents mathematical results that can sometimes be used to simplify the task of reasoning about a default theory, by \splitting it into parts." These so-called Sp...
102
click to vote
CSL
2007
Springer
15 years 8 months ago
2007
Springer
We study the complexity of satisfiability for DLP+ dyn , an expressive logic introduced by Demri that allows to reason about dynamic policies. DLP+ dyn extends the logic DLPdyn of...
113
Voted
ICLP
1998
Springer
15 years 6 months ago
1998
Springer
A number of logic programming languages based on Linear Logic [3] have been proposed. However, the implementation techniques proposed for these languages have relied heavily on th...
106
click to vote
ICALP
2009
Springer
16 years 2 months ago
2009
Springer
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
111
click to vote
FMOODS
2003
15 years 3 months ago
2003
Abstract. Inheritance is one of the key features for the success of objectoriented languages. Inheritance (or specialisation) supports incremental design and re-use of already writ...