108 search results - page 14 / 22 » Default logic generalized and simplified |
106
Voted
IPL
2008
14 years 11 months ago
2008
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
106
Voted
AAAI
1994
15 years 1 months ago
1994
The situation calculus is a popular technique for reasoning about action and change. However, its restriction to a firstorder syntax and pure deductive reasoning makes it unsuitab...
DAC
2007
ACM
16 years 19 days ago
2007
ACM
Satisfiability (SAT) solvers often benefit from a preprocessing of the formula to be decided. For formulae in conjunctive normal form (CNF), subsumed clauses may be removed or par...
CORR
2002
Springer
14 years 11 months ago
2002
Springer
Abstract. Twelve years ago, various notions of preferential entailment have been introduced. The main reference is a paper by Kraus, Lehmann and Magidor (KLM), one of the main comp...
82
Voted
MHCI
2009
Springer
15 years 6 months ago
2009
Springer
Mobile devices became powerful recently and wireless Internet access is becoming standard. One important class of networked, mobile applications are location based games, making e...