Search Sciweavers | Sciweavers

3773 search results - page 173 / 755

» Logical Reasoning

click to vote

RR
2009
Springer

130views Automated Reasoning» more RR 2009»

Answer Sets in a Fuzzy Equilibrium Logic

15 years 10 months ago

Download users.ugent.be

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

claim paper

Read More »

125

Voted

ICLP
2007
Springer

138views Automated Reasoning» more ICLP 2007»

Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming

15 years 10 months ago

Download gpd.sip.ucm.es

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

claim paper

Read More »

Voted

ICLP
2007
Springer

120views Automated Reasoning» more ICLP 2007»

Logic Programs with Abstract Constraint Atoms: The Role of Computations

15 years 10 months ago

Download www.cs.nmsu.edu

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

claim paper

Read More »

102

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 9 months ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...

claim paper

Read More »

click to vote

KR
2004
Springer

106views Automated Reasoning» more KR 2004»

Logical Foundations of Negotiation: Strategies and Preferences

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers