8766 search results - page 555 / 1754 » Functional logic programming |
168
click to vote
FOSSACS
2007
Springer
15 years 8 months ago
2007
Springer
In a seminal paper from 1985, Sistla and Clarke showed that satisfiability for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the set of tempora...
132
click to vote
ROBOCUP
2001
Springer
15 years 9 months ago
2001
Springer
This paper presents an evolutionary approach to learning a fuzzy logic controller(FLC) employed for reactive behaviour control of Sony legged robots. The learning scheme is divided...
137
click to vote
AAAI
2007
15 years 7 months ago
2007
This paper formalizes a well-known psychological model of emotions in an agent specification language. This is done by introducing a logical language and its semantics that are u...
128
click to vote
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We present a novel coalgebraic logic for deterministic Mealy machines that is sound, complete and expressive w.r.t. bisimulation. Every finite Mealy machine corresponds t...
117
click to vote
ACL
1990
15 years 6 months ago
1990
In this paper, we represent singular definite noun phrases as functions in logical form. This representation is designed to model the behaviors of both anaphoric and non-anaphoric...