Sciweavers

3776 search results - page 302 / 756
» Partition-Based Logical Reasoning
Sort
View
LPNMR
2005
Springer
15 years 10 months ago
Some Logical Properties of Nonmonotonic Causal Theories
The formalism of nonmonotonic causal theories (Giunchiglia, Lee, Lifschitz, McCain, Turner, 2004) provides a general-purpose formalism for nonmonotonic reasoning and knowledge repr...
Marek J. Sergot, Robert Craven
TIME
1999
IEEE
15 years 9 months ago
TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner
We present a new forward chaining planner, TALplanner, based on ideas developed by Bacchus [5] and Kabanza [11], where domain-dependent search control knowledge represented as tem...
Patrick Doherty, Jonas Kvarnström
153
Voted
ATAL
2007
Springer
15 years 8 months ago
Temporal linear logic as a basis for flexible agent interactions
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
Duc Quang Pham, James Harland
110
Voted
ECAI
2006
Springer
15 years 8 months ago
Logic Programs with Multiple Chances
Abstract. In human-like reasoning it often happens that different conditions, partially alternative and hierarchically structured, are mentally grouped in order to derive some conc...
Francesco Buccafurri, Gianluca Caminiti, Domenico ...
AAAI
2008
15 years 7 months ago
Integrating Multiple Learning Components through Markov Logic
This paper addresses the question of how statistical learning algorithms can be integrated into a larger AI system both from a practical engineering perspective and from the persp...
Thomas G. Dietterich, Xinlong Bao