Search Sciweavers | Sciweavers

3773 search results - page 173 / 755

» Logical Reasoning

121

click to vote

RR
2009
Springer

130views Automated Reasoning» more RR 2009»

Answer Sets in a Fuzzy Equilibrium Logic

16 years 29 days ago

Download users.ugent.be

Steven Schockaert, Jeroen Janssen, Dirk Vermeir, M...

claim paper

Read More »

157

click to vote

ICLP
2007
Springer

138views Automated Reasoning» more ICLP 2007»

Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming

16 years 17 days ago

Download gpd.sip.ucm.es

Rafael Caballero, Mario Rodríguez-Artalejo,...

claim paper

Read More »

134

click to vote

ICLP
2007
Springer

120views Automated Reasoning» more ICLP 2007»

Logic Programs with Abstract Constraint Atoms: The Role of Computations

16 years 17 days ago

Download www.cs.nmsu.edu

Lengning Liu, Enrico Pontelli, Tran Cao Son, Miros...

claim paper

Read More »

132

click to vote

KR
2004
Springer

139views Automated Reasoning» more KR 2004»

Combining Answer Set Programming with Description Logics for the Semantic Web

15 years 11 months ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...

claim paper

Read More »

108

click to vote

KR
2004
Springer

106views Automated Reasoning» more KR 2004»

Logical Foundations of Negotiation: Strategies and Preferences

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers