Sciweavers

875 search results - page 77 / 175
» Reasoning about Knowledge and Continuity
Sort
View
CORR
2000
Springer
96views Education» more  CORR 2000»
14 years 9 months ago
A Bayesian Reflection on Surfaces
: The topic of this paper is a novel Bayesian continuous-basis field representation and inference framework. Within this paper several problems are solved: The maximally informativ...
David R. Wolf
ICTAI
2003
IEEE
15 years 3 months ago
Ontology-Based Medical Image Annotation with Description Logics
The interpretation of medical evidence is normally presented in terms of a controlled, but diversely expressed specialist vocabulary and natural language phrases. Such informally ...
Bo Hu, Srinandan Dasmahapatra, Paul H. Lewis, Nige...
ICAIL
2003
ACM
15 years 3 months ago
SHYSTER-MYCIN: A Hybrid Legal Expert System
SHYSTER-MYCIN combines a case-based legal expert system (SHYSTER) with a rule-based expert system (MYCIN) to form a hybrid legal expert system. MYCIN’s reporting has been improv...
Thomas A. O'Callaghan, James Popple, Eric McGreath
LPNMR
2011
Springer
14 years 20 days ago
Communicating ASP and the Polynomial Hierarchy
Communicating answer set programming is a framework to represent and reason about the combined knowledge of multiple agents using the idea of stable models. The semantics and expre...
Kim Bauters, Steven Schockaert, Dirk Vermeir, Mart...
ATAL
2009
Springer
15 years 4 months ago
Dialogues that account for different perspectives in collaborative argumentation
It is often the case that agents within a system have distinct types of knowledge. Furthermore, whilst common goals may be agreed upon, the particular representations of the indiv...
Elizabeth Black, Katie Atkinson