Defeasible logic programming: language definition, operational semantics, and parallelism.(Doctoral Dissertation)

From: Journal of Computer Science & Technology | Date: October 1, 2001| Author: Garcia, Alejandro Javier | Copyright information

This thesis defines Defeasible Logic Programming and provides a concrete specification of this new language through its operational semantics. Defeasible Logic Programming, or DeLP for short, has been defined based on the Logic Programming paradigm and considering features of recent developments in the area of Defeasible Argumentation. DeLP relates and improves many aspects of the areas of Logic Programming, Defeasible Argumentation, Intelligent Agents, and Parallel Logic Programmi...

Read all of this article with a FREE trial to HighBeam Research

Related newspaper, magazine, and journal articles from HighBeam Research

Parallel defeasible argumentation (1).
Journal of Computer Science & Technology ; Abstract Implicitly exploitable parallelism for Logic Programming has received ample attention. Defeasible Argumentation is specially apt for this optimizing technique. Defeasible Logic Programming (DLP), which is based on a defeasible argumentation formalism, could take full advantage of this type
Formalizing processes in defeasible argumentation using labeled deductive systems.
Journal of Computer Science & Technology ; Keywords: defeasible argumentation, argumentation frameworks, labeled deductive systems 1 Introduction and motivations Defeasible argumentation [SL92,CML00,PV99] has proven to be a successful approach to finding a suitable formalization for reasoning with incomplete and potentially inconsistent
Formalizing defeasible argumentation using a labeled deductive system.
Journal of Computer Science & Technology ; Keywords: argumentation frameworks, labeled deductive systems Abstract. In the last years there has been an increasing demand of a variety of logical systems, prompted mostly by applications of logic in AI, logic programming and other related areas. Labeled Deductive Systems (LDS) were developed as
-LOGIC PROGRAMMING ASSOCIATES UPGRADES DEVELOPMENT TOOLS.
Telecomworldwire ; TELECOMWORLDWIRE-(C) 1994-8 M2 COMMUNICATIONS LTD Logic Programming Associates Ltd has upgraded LPA Prolog for Windows, its 32-bit application development tool. The new version 4.0, which is Y2K compliant, features improved file handling and buffering routines, an enhanced graphical debugger, an
LPL++: Object logic programming language with built-in inheritance through unification
Database for Advances in Information Systems ; Abstract In this paper, an object logic programming language is proposed that captures all of the basic object-oriented concepts in standard logic programming environment. This paper combines and extends two previously proposed models, namely Conery's technique (1988) which uses first-order logic