4370 search results - page 380 / 874 » Algebra of Logic Programming |
114
click to vote
ISMVL
1999
IEEE
15 years 7 months ago
1999
IEEE
In the last years two automated reasoning techniques for clause normal form arose in which the use of labels are prominently featured: signed logic and annotated logic programming...
ACL
2001
15 years 4 months ago
2001
We provide a logical definition of Minimalist grammars, that are Stabler's formalization of Chomsky's minimalist program. Our logical definition leads to a neat relation...
128
click to vote
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
Programs written in managed languages are compiled to a platform-independent intermediate representation, such as Java bytecode. The relative high level of Java bytecode has engen...
159
Voted
AAMAS
2011
Springer
14 years 7 months ago
2011
Springer
This paper introduces the execution model of a declarative programming language intended for agent applications. Features supported by the language include functional and logic pro...
125
click to vote
IFIP
2009
Springer
15 years 9 months ago
2009
Springer
Application or business logic, used in the development of services, has to do with the operations that define the application functionalities and not with the platform ones. Often...