4573 search results - page 292 / 915 » Automated Reasoning |
135
click to vote
KR
2000
Springer
15 years 10 months ago
2000
Springer
Bondarenko et al. have recently proposed an extension of the argumentation-theoretic semantics of admissible and preferred arguments, originally proposed for logic programming onl...
153
Voted
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
In joint work with Peter O’Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative pr...
174
click to vote
TPHOL
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
187
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
Topological logics are a family of languages for representing and reasoning about topological data. In this paper, we consider propositional topological logics able to express the...
158
click to vote
ASP
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we present a framework for logic programming agents to take part in games in such a way that stable models of the system, the ones agreed upon by all the members, co...