Sciweavers

713 search results - page 90 / 143
» Syntax and Semantics of Babel-17
Sort
View
131
Voted
IJCAI
1989
15 years 4 months ago
Unrestricted And-Parallel Execution of Logic Programs with Dependency Directed Backtracking
A model of unrestricted And-parallel execution for logic programs is described, based on Dependency Directed Backtracking (DDBT) aimed at improving the efficiency of execution whi...
Nikos Drakos
185
Voted
DBKDA
2010
IEEE
219views Database» more  DBKDA 2010»
15 years 3 months ago
GN-DTD: Graphical Notations for Describing XML Documents
— This paper presents a graphical approach to model XML documents based on a Data Type Documentation called Graphical Notations-Data Type Documentation (GN-DTD). GN-DTD allows us...
Zurinahni Zainol, Bing Wang
152
Voted
AAMAS
2008
Springer
15 years 3 months ago
2APL: a practical agent programming language
This paper presents a BDI-based agent-oriented programming language, called 2APL (A Practical Agent Programming Language). This programming language facilitates the implementation...
Mehdi Dastani
156
Voted
AMAI
2008
Springer
15 years 3 months ago
Integrating answer set programming and constraint logic programming
We introduce a knowledge representation language AC(C) extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, ACsolver, ...
Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang
127
Voted
CONSTRAINTS
2008
121views more  CONSTRAINTS 2008»
15 years 3 months ago
Modeling Biological Networks by Action Languages via Answer Set Programming
We describe an approach to modeling biological networks by action languages via answer set programming. To this end, we propose an action language for modeling biological networks...
Steve Dworschak, Susanne Grell, Victoria J. Nikifo...