Sciweavers

4978 search results - page 179 / 996
» Logical models of argument
Sort
View
PODS
1992
ACM
96views Database» more  PODS 1992»
15 years 10 months ago
The Valid Model Semantics for Logic Programs
Catriel Beeri, Raghu Ramakrishnan, Divesh Srivasta...
CAISE
2003
Springer
15 years 10 months ago
A Logic-Based Formalism to Model and Analyze Workflow Executions
Gianluigi Greco, Antonella Guzzo, Domenico Sacc&ag...
AAAI
2007
15 years 9 months ago
Logical Generative Models for Probabilistic Reasoning about Existence, Roles and Identity
In probabilistic reasoning, the problems of existence and identity are important to many different queries; for example, the probability that something that fits some description...
David Poole