Sciweavers

6829 search results - page 347 / 1366
» Quantitative Generalizations of Languages
Sort
View
ICLP
2007
Springer
16 years 27 days ago
Generic Tableaux for Answer Set Programming
Abstract. We provide a general and modular framework for describing inferences in Answer Set Programming (ASP) that aims at an easy incorporation of additional language constructs....
Martin Gebser, Torsten Schaub
APWEB
2005
Springer
16 years 9 days ago
DSL Weaving for Distributed Information Flow Systems
Aspect-oriented programming (AOP) is a promising field for reducing application complexity. However, it has proven difficult to implement weavers for general purpose languages. Nev...
Calton Pu, Galen S. Swint
OOPSLA
2005
Springer
16 years 7 days ago
CodeQuest: querying source code with datalog
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...
Elnar Hajiyev, Mathieu Verbaere, Oege de Moor, Kri...
ECAI
2004
Springer
16 years 4 days ago
Game-Theoretic Agent Programming in Golog
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...
Alberto Finzi, Thomas Lukasiewicz
VL
2003
IEEE
169views Visual Languages» more  VL 2003»
16 years 19 hour ago
Additional context for gentle-slope systems
Interpreting general purpose programming constructs can be difficult because it requires context, such as knowledge of language syntax or idioms, which users may not have readily ...
Yasunori Harada, Richard Potter