Search Sciweavers | Sciweavers

3891 search results - page 123 / 779

» A logic for strategic reasoning

157

click to vote

ROBOCUP
1999
Springer

138views Robotics» more ROBOCUP 1999»

All Botz

15 years 10 months ago

Download www.ida.liu.se

This paper provides general information about research at the University of Auckland into autonomous agents in highly dynamic environments, in particular in RoboCup. The paper desc...

Jacky Baltes, Nicholas Hildreth, David Maplesden

claim paper

Read More »

155

click to vote

ICLP
2010
Springer

132views Automated Reasoning» more ICLP 2010»

Focused Proof Search for Linear Logic in the Calculus of Structures

15 years 10 months ago

Download drops.dagstuhl.de

The proof-theoretic approach to logic programming has beneﬁted from the

Nicolas Guenot

claim paper

Read More »

106

click to vote

ICLP
2001
Springer

111views Automated Reasoning» more ICLP 2001»

A Computational Model for Functional Logic Deductive Databases

15 years 10 months ago

Download www.ual.es

Jesús Manuel Almendros-Jiménez, Anto...

claim paper

Read More »

127

click to vote

KR
1998
Springer

117views Automated Reasoning» more KR 1998»

Description Logic Framework for Information Integration

15 years 10 months ago

Download www.inf.unibz.it

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

138

click to vote

PLILP
1998
Springer

148views Programming Languages» more PLILP 1998»

Embedding Multiset Constraints into a Lazy Functional Logic Language

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers