Sciweavers

3773 search results - page 69 / 755
» Logical Reasoning
Sort
View
DLOG
2006
14 years 11 months ago
Description Logic Reasoning for Dynamic ABoxes
Christian Halaschek-Wiener, Bijan Parsia, Evren Si...
DLOG
2003
14 years 11 months ago
e-Service Composition by Description Logics Based Reasoning
Daniela Berardi, Diego Calvanese, Giuseppe De Giac...
LPAR
2010
Springer
14 years 7 months ago
Relentful Strategic Reasoning in Alternating-Time Temporal Logic
Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
UAI
2003
14 years 11 months ago
A Logic for Reasoning about Evidence
We introduce a logic for reasoning about evidence that essentially views evidence as a function from prior beliefs (before making an observation) to posterior beliefs (after makin...
Joseph Y. Halpern, Riccardo Pucella
PKDD
2009
Springer
136views Data Mining» more  PKDD 2009»
15 years 4 months ago
Integrating Logical Reasoning and Probabilistic Chain Graphs
Probabilistic logics have attracted a great deal of attention during the past few years. While logical languages have taken a central position in research on knowledge representati...
Arjen Hommersom, Nivea de Carvalho Ferreira, Peter...