LUPS — A Language for Updating Logic Programs

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-46767-x_12
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Language Independence and Language Tolerance in Logic Programs

1994English

Determinacy Inference for Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Answer Sets for Prioritized Logic Programs

1997English

Ordering Optimisations for Concurrent Logic Programs

English

Logic Programs for Consistency-Based Diagnosis.

English

Knowledge Representation in a Proof Checker for Logic Programs

2012English

A Language for Describing Concepts as Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1980English

A Program Transformation for Backwards Analysis of Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Extending Logic Programs With Description Logic Expressions for the Semantic Web

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy