Search Sciweavers | Sciweavers

4573 search results - page 99 / 915

» Automated Reasoning

Voted

TARK
1990
Springer

64views Automated Reasoning» more TARK 1990»

A Nonstandard Approach to the Logical Omniscience Problem

15 years 7 months ago

Download www.cs.cornell.edu

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

claim paper

Read More »

100

Voted

ICLP
2007
Springer

91views Automated Reasoning» more ICLP 2007»

Aggregates in Constraint Handling Rules

15 years 7 months ago

Download people.cs.kuleuven.be

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

claim paper

Read More »

105

click to vote

FLOPS
2006
Springer

74views Automated Reasoning» more FLOPS 2006»

A Framework for Extended Algebraic Data Types

15 years 7 months ago

Download www.itu.dk

Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey

claim paper

Read More »

112

click to vote

ASP
2001
Springer

110views Automated Reasoning» more ASP 2001»

Representing Configuration Knowledge With Weight Constraint Rules

15 years 7 months ago

Download www.aaai.org

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

claim paper

Read More »

101

click to vote

EWCBR
2000
Springer

95views Automated Reasoning» more EWCBR 2000»

An Architecture for Knowledge Intensive CBR Systems

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers