Search Sciweavers | Sciweavers

2585 search results - page 85 / 517

» Automating Coherent Logic

102

Voted

ECAL
2005
Springer

99views Artificial Intelligence» more ECAL 2005»

Ant-Based Computing

15 years 8 months ago

Download www.eecs.harvard.edu

We propose a biologically and physically plausible model for ants and pheromones, and show this model to be suﬃciently powerful to simulate the computation of arbitrary logic cir...

Loizos Michael

claim paper

Read More »

click to vote

RR
2009
Springer

130views Automated Reasoning» more RR 2009»

Answer Sets in a Fuzzy Equilibrium Logic

15 years 9 months ago

Download users.ugent.be

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

claim paper

Read More »

120

click to vote

ICLP
2007
Springer

138views Automated Reasoning» more ICLP 2007»

Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming

15 years 9 months ago

Download gpd.sip.ucm.es

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

claim paper

Read More »

click to vote

ICLP
2007
Springer

120views Automated Reasoning» more ICLP 2007»

Logic Programs with Abstract Constraint Atoms: The Role of Computations

15 years 9 months ago

Download www.cs.nmsu.edu

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

claim paper

Read More »

Voted

KR
2004
Springer

139views Automated Reasoning» more KR 2004»

Combining Answer Set Programming with Description Logics for the Semantic Web

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers