Search Sciweavers | Sciweavers

4617 search results - page 108 / 924

» Automation of Diagrammatic Reasoning

123

click to vote

TARK
1990
Springer

64views Automated Reasoning» more TARK 1990»

A Nonstandard Approach to the Logical Omniscience Problem

15 years 10 months ago

Download www.cs.cornell.edu

Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi

claim paper

Read More »

127

click to vote

ICLP
2007
Springer

91views Automated Reasoning» more ICLP 2007»

Aggregates in Constraint Handling Rules

15 years 10 months ago

Download people.cs.kuleuven.be

Jon Sneyers, Peter Van Weert, Tom Schrijvers, Bart...

claim paper

Read More »

137

click to vote

FLOPS
2006
Springer

74views Automated Reasoning» more FLOPS 2006»

A Framework for Extended Algebraic Data Types

15 years 10 months ago

Download www.itu.dk

Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey

claim paper

Read More »

143

click to vote

ASP
2001
Springer

110views Automated Reasoning» more ASP 2001»

Representing Configuration Knowledge With Weight Constraint Rules

15 years 9 months ago

Download www.aaai.org

Timo Soininen, Ilkka Niemelä, Juha Tiihonen, ...

claim paper

Read More »

131

click to vote

EWCBR
2000
Springer

95views Automated Reasoning» more EWCBR 2000»

An Architecture for Knowledge Intensive CBR Systems

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers