1941 search results - page 79 / 389 » Reasoning about Computations Using Two-Levels of Logic |
115
click to vote
CLIMA
2004
15 years 4 months ago
2004
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, an interactive theorem proving system for many-sorted first-order logic. We then ...
153
click to vote
ICLP
2004
Springer
15 years 8 months ago
2004
Springer
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...
118
click to vote
AMAI
2000
Springer
15 years 7 months ago
2000
Springer
Several formalisms have been proposed for qualitative reasoning about regions and their topological relations in space. These formalisms, based on pairwise relations, do not allow...
125
Voted
AVSS
2009
IEEE
15 years 10 months ago
2009
IEEE
— Classical tracking methods are often insufficient when dealing with complex scenarios. In order to solve tracking errors, innovative techniques based on the use of information ...
129
click to vote
LOPSTR
2005
Springer
15 years 8 months ago
2005
Springer
Partial evaluation of logic programs which contain impure predicates poses non-trivial challenges. Impure predicates include those which produce side-effects, raise errors (or exc...