Search Sciweavers | Sciweavers

3970 search results - page 124 / 794

» A Logic For Causal Reasoning

118

click to vote

AAAI
2008

107views Intelligent Agents» more AAAI 2008»

Supporting Manual Mapping Revision using Logical Reasoning

15 years 8 months ago

Download ki.informatik.uni-mannheim.de

Christian Meilicke, Heiner Stuckenschmidt, Andrei ...

claim paper

Read More »

125

click to vote

AISC
2008
Springer

86views Artificial Intelligence» more AISC 2008»

Logic-Free Reasoning in Isabelle/Isar

15 years 8 months ago

Download www4.in.tum.de

Traditionally a rigorous mathematical document consists of a sequence of definition

Stefan Berghofer, Makarius Wenzel

claim paper

Read More »

153

click to vote

SCAI
2008

228views Artificial Intelligence» more SCAI 2008»

Probabilistic-Logic Models: Reasoning and Learning with Relational Structures

15 years 7 months ago

Download www.cs.aau.dk

Manfred Jaeger

claim paper

Read More »

129

Voted

DAGSTUHL
1998

71views Software Engineering» more DAGSTUHL 1998»

Results on Reasoning about Updates in Transaction Logic

15 years 7 months ago

Download www.cs.sunysb.edu

Anthony J. Bonner, Michael Kifer

claim paper

Read More »

128

click to vote

FSS
2007

84views more FSS 2007»

A logic for reasoning about the probability of fuzzy events

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers