Sciweavers

7960 search results - page 479 / 1592
» Systems for Knowledge and Beliefs
Sort
View
KI
2008
Springer
15 years 7 months ago
Shallow Models for Non-iterative Modal Logics
Abstract. Modal logics see a wide variety of applications in artificial intelligence, e.g. in reasoning about knowledge, belief, uncertainty, agency, defaults, and relevance. From ...
Lutz Schröder, Dirk Pattinson
IGPL
2010
161views more  IGPL 2010»
15 years 5 months ago
Extending the Hegselmann-Krause Model I
Hegselmann and Krause have developed a simple yet powerful computational model for studying the opinion dynamics in societies of epistemically interacting truth-seeking agents. We...
Igor Douven, Alexander Riegler
LOGCOM
2010
158views more  LOGCOM 2010»
15 years 5 months ago
Applying Universal Algebra to Lambda Calculus
The aim of this paper is double. From one side we survey the knowledge we have acquired these last ten years about the lattice of all λ-theories (= equational extensions of untype...
Giulio Manzonetto, Antonino Salibra
AAAI
1992
15 years 8 months ago
An Empirical Analysis of Terminological Representation Systems
The family of terminological representation systems has its roots in the representation system kl-one. Since the development of kl-one more than a dozen similar representation sys...
Jochen Heinsohn, Daniel Kudenko, Bernhard Nebel, H...
BIOCOMP
2006
15 years 8 months ago
A Clinical Decision Support System For Managing Flexor Tendon Injuries
A Clinical Decision Support System has been developed using the Exsys software for the flexor tendon injuries in Zone II encompassing the continuum from injury to complete rehabil...
Prashant Junankar, Dinesh P. Mital, Syed Haque, Sh...