170 search results - page 26 / 34 » Reasoning with multiple-source information in a possibilisti... |
DLOG
2009
13 years 5 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
DLOG
2007
13 years 10 months ago
2007
Abstract. We present a novel approach to logic-based bilateral negotiation in ecommerce systems. We use Description Logics to describe both requests/offers submitted by buyers and ...
CSFW
2002
IEEE
14 years 16 days ago
2002
IEEE
We introduce a general framework for reasoning about secrecy requirements in multiagent systems. Because secrecy requirements are closely connected with the knowledge of individua...
AICOM
2006
13 years 7 months ago
2006
In this work we present a backjumping technique for Disjunctive Logic Programming (DLP) under the Answer Set Semantics. It builds upon related techniques that had originally been p...
CADE
2005
Springer
14 years 7 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...