Sciweavers

21 search results - page 2 / 5
» Modelling Morality with Prospective Logic
Sort
View
AMAI
2000
Springer
13 years 7 months ago
A prospective on mathematics and artificial intelligence: Problem solving=Modeling+Theorem proving
This is a prospective on the research in the intersection of mathematics and artificial intelligence that I see as having been the most important over the past 10 years and that I...
Harvey J. Greenberg
AAAI
2012
11 years 9 months ago
A Tractable First-Order Probabilistic Logic
Tractable subsets of first-order logic are a central topic in AI research. Several of these formalisms have been used as the basis for first-order probabilistic languages. Howev...
Pedro Domingos, William Austin Webb
PRIMA
2007
Springer
14 years 1 months ago
An Asymmetric Protocol for Argumentation Games in Defeasible Logic
Agent interactions where the agents hold conflicting goals could be modelled as adversarial argumentation games. In many real-life situations (e.g., criminal litigation, consumer ...
Jenny Eriksson Lundström, Guido Governatori, ...
RSCTC
2010
Springer
160views Fuzzy Logic» more  RSCTC 2010»
13 years 5 months ago
Experienced Physicians and Automatic Generation of Decision Rules from Clinical Data
Abstract. Clinical Decision Support Systems embed data-driven decision models designed to represent clinical acumen of an experienced physician. We argue that eliminating physician...
William Klement, Szymon Wilk, Martin Michalowski, ...
JMM2
2008
102views more  JMM2 2008»
13 years 7 months ago
Logical Mapping: An Intermedia Synchronization Model for Multimedia Distributed Systems
The preservation of temporal dependencies among different media data, such as text, still images, video and audio, and which have simultaneous distributed sources as origin, is an ...
Saul Pomares Hernandez, Luis A. Morales Rosales, J...