1128 search results - page 55 / 226 » Classical Natural Deduction |
JAR
2006
13 years 10 months ago
2006
Otter-lambda is Otter modified by adding code to implement an algorithm for lambda unification. Otter is a resolution-based, clause-language first-order prover that accumulates de...
ATAL
2004
Springer
14 years 3 months ago
2004
Springer
This article introduces a novel approach to the problem of collaborative planning. We present a method that takes classical one-shot planning techniques - that take a fixed set of...
BSL
1999
13 years 9 months ago
1999
We consider a classical (propositional) version, CBI, of O'Hearn and Pym's logic of bunched implications (BI) from a model- and prooftheoretic perspective. We present a c...
AAAI
2006
13 years 11 months ago
2006
Computational humor is a challenge with implications for many classical fields in AI such as, for example, natural language processing, intelligent human-computer interaction, rea...
PAMI
2012
12 years 11 days ago
2012
— A novel framework to context modeling, based on the probability of co-occurrence of objects and scenes is proposed. The modeling is quite simple, and builds upon the availabili...