Search Sciweavers | Sciweavers

3776 search results - page 100 / 756

» Partition-Based Logical Reasoning

click to vote

AAAI
2008

107views Intelligent Agents» more AAAI 2008»

Supporting Manual Mapping Revision using Logical Reasoning

15 years 5 months ago

Download ki.informatik.uni-mannheim.de

Christian Meilicke, Heiner Stuckenschmidt, Andrei ...

claim paper

Read More »

click to vote

AISC
2008
Springer

86views Artificial Intelligence» more AISC 2008»

Logic-Free Reasoning in Isabelle/Isar

15 years 5 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 »

115

click to vote

SCAI
2008

228views Artificial Intelligence» more SCAI 2008»

Probabilistic-Logic Models: Reasoning and Learning with Relational Structures

15 years 4 months ago

Download www.cs.aau.dk

Manfred Jaeger

claim paper

Read More »

click to vote

DAGSTUHL
1998

71views Software Engineering» more DAGSTUHL 1998»

Results on Reasoning about Updates in Transaction Logic

15 years 4 months ago

Download www.cs.sunysb.edu

Anthony J. Bonner, Michael Kifer

claim paper

Read More »

click to vote

FSS
2007

84views more FSS 2007»

A logic for reasoning about the probability of fuzzy events

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers