3891 search results - page 339 / 779 » A logic for strategic reasoning |
172
click to vote
AIIA
2007
Springer
16 years 28 days ago
2007
Springer
Logic Programs with Annotated Disjunctions and CP-logic are two different but related languages for expressing probabilistic information in logic programming. The paper presents a...
197
Voted
TPHOL
2000
IEEE
15 years 11 months ago
2000
IEEE
Theorem provers for higher-order logics often use tactics to implement automated proof search. Tactics use a general-purpose metalanguage to implement both general-purpose reasonin...
204
click to vote
DALT
2007
Springer
15 years 8 months ago
2007
Springer
Online dispute resolution is becoming the main method when dealing with a conflict in e-commerce. A family of defeasible reasoning patterns is used to provide a useful link betwee...
173
click to vote
PSSS
2003
15 years 8 months ago
2003
Abstract: We present DLDB, a knowledge base system that extends a relational database management system with additional capabilities for DAML+OIL inference. We discuss a number of ...
201
click to vote
CADE
2012
Springer
13 years 9 months ago
2012
Springer
We propose a word level, bounded model checking (BMC) algorithm based on translation into the effectively propositional fragment (EPR) of firstorder logic. This approach to BMC al...