2585 search results - page 254 / 517 » Automating Coherent Logic |
276
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
Multiagent planning deals with the problem of generating plans for multiple agents. It requires formalizing ways for the agents to interact and cooperate, in order to achieve their...
175
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
168
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. Inspired by the Curry-Howard correspondence, we study normalisation procedures in the depth-bounded intuitionistic sequent calculus of Hudelmaier (1988) for the implicati...
156
click to vote
ECSQARU
2009
Springer
16 years 1 months ago
2009
Springer
Argumentation frameworks have proven to be a successful approach to formalizing commonsense reasoning. Recently, some argumentation frameworks have been extended to deal with possi...
188
click to vote
RR
2009
Springer
16 years 1 months ago
2009
Springer
Open Answer Set Programming (OASP) can be seen as a framework to represent tightly integrated combined knowledge bases of ontologies and rules that are not necessarily DL-safe. The...