Search Sciweavers | Sciweavers

2585 search results - page 85 / 517

» Automating Coherent Logic

148

click to vote

ECAL
2005
Springer

99views Artificial Intelligence» more ECAL 2005»

Ant-Based Computing

15 years 12 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 »

119

click to vote

RR
2009
Springer

130views Automated Reasoning» more RR 2009»

Answer Sets in a Fuzzy Equilibrium Logic

16 years 25 days ago

Download users.ugent.be

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

claim paper

Read More »

153

click to vote

ICLP
2007
Springer

138views Automated Reasoning» more ICLP 2007»

Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming

16 years 14 days ago

Download gpd.sip.ucm.es

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

claim paper

Read More »

131

click to vote

ICLP
2007
Springer

120views Automated Reasoning» more ICLP 2007»

Logic Programs with Abstract Constraint Atoms: The Role of Computations

16 years 14 days ago

Download www.cs.nmsu.edu

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

claim paper

Read More »

127

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers