Searching for "Perspectives of logic programming." – sorted by Relevance.
-
Action Languages, Answer Sets and Planning
- and the design of planners from the perspective of logic programming. We talk about recent work on action
- Cited by 41 (4 self) – Add To MetaCart
-
Projections of Logic Programs Using Symbol Mappings
- to this question if only the declarative semantics are considered. From a declarative perspective, a logic program
- Cited by 6 (0 self) – Add To MetaCart
-
Abduction and Induction: Syllogistic and Inferential Perspectives
- ) . The syllogistic perspective is employed in logic programming contexts, and will be briefly discussed in section 3
- Cited by 11 (1 self) – Add To MetaCart
-
Hypothetical reasoning and definitional reflection in logic programming
- to an important shift in perspective on logic programming, corresponding to the conceptual shift from Hilbert
- Cited by 1 (0 self) – Add To MetaCart
-
Stable models and an alternative logic programming paradigm
- that departs from several basic tenets of logic programming. At the same time, this perspective leads to a
- Cited by 147 (11 self) – Add To MetaCart
-
Category-based Semantics for Equational and Constraint Logic Programming
- Programming Paradigm 1.1.1 A historical perspective Equational logic programming can be regarded as joining
- Cited by 24 (10 self) – Add To MetaCart
-
Modelling Motivational Behaviour In Intelligent Agents In Virtual Worlds
- , in the same way that the process interpretation of Horn clauses offered a different perspective to logic
- Cited by 4 (1 self) – Add To MetaCart
-
The Well-founded Semantics Is the Principle of Inductive Definition
- from the perspective of logic programs as default and auto-epistemic theories. To compare
- Cited by 40 (27 self) – Add To MetaCart
-
Rule-based and Ontology-based Policies: Toward a Hybrid Approach to Control Agents in Pervasive Environments
- . In contrast, rule-based approaches take the perspective of Logic Programming to encode rules in a clear, logic
- Cited by 18 (1 self) – Add To MetaCart
-
Towards a Computational Account of Knowledge, Action and Inference in Instructions
- . This general perspective on logic programming has been formalized and analyzed under the framework of abstract
- Cited by 10 (5 self) – Add To MetaCart

