Sciweavers

3773 search results - page 69 / 755
» Logical Reasoning
Sort
View
DLOG
2006
15 years 4 months ago
Description Logic Reasoning for Dynamic ABoxes
Christian Halaschek-Wiener, Bijan Parsia, Evren Si...
107
Voted
DLOG
2003
15 years 4 months ago
e-Service Composition by Description Logics Based Reasoning
Daniela Berardi, Diego Calvanese, Giuseppe De Giac...
127
Voted
LPAR
2010
Springer
15 years 1 months ago
Relentful Strategic Reasoning in Alternating-Time Temporal Logic
Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
125
Voted
UAI
2003
15 years 4 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 10 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...