Sciweavers

654 search results - page 35 / 131
» Graph-based Knowledge Representation and Reasoning
Sort
View
105
Voted
ATAL
2007
Springer
15 years 8 months ago
A framework for reasoning about rational agents
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...
Wojciech Jamroga, Nils Bulling
AMAI
2004
Springer
15 years 5 months ago
Using Logic Programs to Reason about Infinite Sets
Using the ideas from current investigations in Knowledge Representation we study the use of a class of logic programs for reasoning about infinite sets. Those programs assert code...
Douglas A. Cenzer, V. Wiktor Marek, Jeffrey B. Rem...
122
Voted
IJCAI
1997
15 years 3 months ago
Using Case-Based Reasoning in Interpreting Unsupervised Inductive Learning Results
The objective of this work is to interpret inductive results obtained by the unsupervised learning method OSHAM. We briefly introduce the learning process of OSHAM, that extracts ...
Tu Bao Ho, Chi Main Luong
AMSTERDAM
2009
14 years 11 months ago
The Data Complexity of the Syllogistic Fragments of English
Abstract. Pratt and Third's syllogistic fragments of English can be used to capture, in addition to syllogistic reasoning, many other kinds of common sense reasoning, and, in ...
Camilo Thorne, Diego Calvanese
130
Voted
ICANN
2003
Springer
15 years 7 months ago
Knowledge Refinement Using Fuzzy Compositional Neural Networks
Fuzzy relations as representational tools and fuzzy compositional operators as reasoning components, are user in this paper in order to represent knowledge expressed in semantic ru...
Vassilis Tzouvaras, Giorgos B. Stamou, Stefanos D....