1486 search results - page 69 / 298 » A Logically Saturated Extension of |
LFCS
2009
Springer
14 years 3 months ago
2009
Springer
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
EPIA
2009
Springer
14 years 3 months ago
2009
Springer
Logic Programming Update Languages were proposed as an extension of logic programming that allows modeling the dynamics of knowledge bases where both extensional (facts) and intent...
FORMATS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We study the realizability problem for specifications of reactive systems expressed in real-time linear temporal logics. The logics we consider are subsets of MITL (Metr...
ICAIL
2009
ACM
14 years 3 months ago
2009
ACM
Current argumentation support software often employs graphical representations of logical relationships. Little is known about the extent to which logical structuring helps to inc...
TIME
2007
IEEE
14 years 3 months ago
2007
IEEE
It is known that for temporal languages, such as firstorder LT L, reasoning about constant (time-independent) relations is almost always undecidable. This applies to temporal des...