Sciweavers

241 search results - page 46 / 49
» Propositional knowledge and know-how
Sort
View
DESRIST
2009
Springer
143views Education» more  DESRIST 2009»
15 years 2 months ago
Designing for complex innovations in health care: design theory and realist evaluation combined
Innovations in health care are often characterized by complexity and fuzzy boundaries, involving both the elements of the innovation and the organizational structure required for ...
Christina Keller, Klas Gäre, Mats Edenius, St...
ECSQARU
2009
Springer
15 years 2 months ago
A Simple Modal Logic for Reasoning about Revealed Beliefs
Abstract. Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of cla...
Mohua Banerjee, Didier Dubois
ATAL
2007
Springer
15 years 1 months ago
Model-based belief merging without distance measures
Merging operators try to define the beliefs of a group of agents according to the beliefs of each member of the group. Several model-based propositional belief merging operators h...
Verónica Borja Macías, Pilar Pozos P...
ICAIL
2007
ACM
15 years 1 months ago
The Ontology of Legal Possibilities and Legal Potentialities
Ontologies in a legal expert system must be processed to suit all possible user cases within the field of law of the system. From the logical premises of a deductive system of expr...
Pamela N. Gray
KR
1991
Springer
15 years 1 months ago
Meta-Reasoning in Executable Temporal Logic
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...
Howard Barringer, Michael Fisher, Dov M. Gabbay, A...