Sciweavers

19 search results - page 2 / 4
» A Preference-Based Approach to Default Reasoning: Preliminar...
Sort
View
KR
1992
Springer
13 years 9 months ago
Conversational Events and Discourse State Change: A Preliminary Report
I argue that an action-based model of belief update is largely compatible with the proposals advanced in the literature on formal approaches to discourse interpretation, especiall...
Massimo Poesio
ASP
2005
Springer
13 years 11 months ago
A Preliminary Report on Integrating of Answer Set and Constraint Solving
Despite all efforts on intelligent grounding, state-of-the-art answer set solvers still have huge memory requirements, because they compute the ground instantiation of the input pr...
Sabrina Baselice, Piero A. Bonatti, Michael Gelfon...
TIME
1998
IEEE
13 years 9 months ago
Tackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report
The use of causal rules or fluent dependency constraints has proven to provide a versatile means of dealing with the ramification problem. In this paper we show how fluent depende...
Patrick Doherty, Jonas Kvarnström
ICLP
2010
Springer
13 years 9 months ago
Constraint Answer Set Programming Systems
Abstract. We present an integration of answer set programming and constraint processing as an interesting approach to constraint logic programming. Although our research is in a ve...
Christian Drescher
IKE
2004
13 years 7 months ago
Analogy and Deduction for Knowledge Discovery
Analogy-based hypothesis generation is a promising technique for knowledge discovery. However, some hypotheses generated are nonsensical. This paper describes a two-phased method ...
Jim Reynolds, Adam Pease, John Li