Sciweavers

4370 search results - page 62 / 874
» Algebra of Logic Programming
Sort
View
117
Voted
ENTCS
2000
109views more  ENTCS 2000»
15 years 14 days ago
Forward and Backward Chaining in Linear Logic
Abstract. Logic programming languages based on linear logic are of both theoretical and practical interest, particulaly because such languages can be seen as providing a logical ba...
James Harland, David J. Pym, Michael Winikoff
76
Voted
IFIP
2004
Springer
15 years 6 months ago
Highly Undecidable Questions for Process Algebras
Petr Jancar, Jirí Srba
87
Voted
GECCO
2006
Springer
162views Optimization» more  GECCO 2006»
15 years 4 months ago
Algebraic simplification of GP programs during evolution
Program bloat is a fundamental problem in the field of Genetic Programming (GP). Exponential growth of redundant and functionally useless sections of programs can quickly overcome...
Phillip Wong, Mengjie Zhang
92
Voted
JELIA
2004
Springer
15 years 6 months ago
The Modal Logic Programming System MProlog
Abstract. We present the design of our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most featu...
Linh Anh Nguyen
116
Voted
IJAR
2008
129views more  IJAR 2008»
15 years 20 days ago
Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the trea...
Teresa Alsinet, Carlos Iván Chesñeva...