3440 search results - page 417 / 688 » Logics For Context-Free Languages |
193
click to vote
OOPSLA
2005
Springer
16 years 23 days ago
2005
Springer
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...
195
click to vote
APLAS
2004
ACM
16 years 22 days ago
2004
ACM
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich var...
196
click to vote
CP
2004
Springer
16 years 21 days ago
2004
Springer
Abstract. One of the most appealing features of constraint programming is its rich constraint language for expressing combinatorial optimization problems. This paper demonstrates t...
203
click to vote
ECAI
2004
Springer
16 years 21 days ago
2004
Springer
We present the agent programming language GTGolog, which integrates explicit agent programming in Golog with gametheoretic multi-agent planning in Markov games. It is a generalizat...
199
click to vote
LOPSTR
2004
Springer
16 years 19 days ago
2004
Springer
We address the problem of an efficient rewriting strategy for general term rewriting systems. Several strategies have been proposed over the last two decades for rewriting, the mos...