Search Sciweavers | Sciweavers

43

CORR
2011
Springer

190views Education» more CORR 2011»

Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems

13 years 1 months ago

We describe a system for specifying the eﬀects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify t...

Fangzhen Lin

claim paper

Read More »

21

click to vote

ICLP
2007
Springer

96views Automated Reasoning» more ICLP 2007»

Multivalued Action Languages with Constraints in CLP(FD)

14 years 3 months ago

Download users.dimi.uniud.it

Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...

Agostino Dovier, Andrea Formisano, Enrico Pontelli

claim paper

Read More »

31

click to vote

SLE
2009
Springer

124views Software Engineering» more SLE 2009»

A Role-Based Approach towards Modular Language Engineering

14 years 4 months ago

Download www.steffen-zschaler.de

Modularisation can reduce the effort in designing and maintaining language speciﬁcations. Existing approaches to language modularisation are typically either focused on language ...

Christian Wende, Nils Thieme, Steffen Zschaler

claim paper

Read More »

40

click to vote

IROS
2006
IEEE

165views Robotics» more IROS 2006»

Grounded Situation Models for Robots: Where words and percepts meet

14 years 3 months ago

Download alumni.media.mit.edu

— Our long-term objective is to develop robots that engage in natural language-mediated cooperative tasks with humans. To support this goal, we are developing an amodal represent...

Nikolaos Mavridis, Deb Roy

claim paper

Read More »

33

click to vote

POPL
2010
ACM

186views Programming Languages» more POPL 2010»

Modular Session Types for Distributed Object-Oriented Programming

14 years 7 months ago