Search Sciweavers | Sciweavers

3773 search results - page 107 / 755

» Logical Reasoning

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 »

116

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 »

Voted

FSS
2007

84views more FSS 2007»

A logic for reasoning about the probability of fuzzy events

15 years 3 months ago

Download www.iiia.csic.es

Tommaso Flaminio, Lluis Godo

claim paper

Read More »

click to vote

AI
2005
Springer

86views Artificial Intelligence» more AI 2005»

Partition-based logical reasoning for first-order and propositional theories

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers