8337 search results - page 207 / 1668 » Reasoning With Characteristic Models |
159
click to vote
AMAI
2006
Springer
15 years 6 months ago
2006
Springer
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...
167
click to vote
SYNTHESE
2010
15 years 5 months ago
2010
There exists a considerable body of work on epistemic logics for resource-bounded reasoners. In this paper, we concentrate on a less studied aspect of resource-bounded reasoning, n...
164
click to vote
CONTEXT
2007
Springer
16 years 22 days ago
2007
Springer
Contextual Graphs are a context-based formalism used in various real-world applications. They allow a uniform representation of elements of reasoning and of contexts for describing...
145
click to vote
EMSOFT
2001
Springer
15 years 11 months ago
2001
Springer
This paper is meant to motivate tools and methods research in the field of model-based embedded software development. In particular, we include usage scenarios to describe how an a...
201
click to vote
ACL
2010
15 years 4 months ago
2010
Scoring sentences in documents given abstract summaries created by humans is important in extractive multi-document summarization. In this paper, we formulate extractive summariza...