Logic Programs With Refutation Rules

doi 10.7551/mitpress/4316.003.0070

Full Text

Abstract

Available in

Date

Authors

Unknown

Publisher

The MIT Press

Related search

Representing E-Commerce Rules via Situated Courteous Logic Programs in RuleML

Electronic Commerce Research and Applications
MarketingComputer NetworksCommunicationsComputer Science ApplicationsInnovationManagement of Technology
2004English

DNA Implementation of Theorem Proving With Resolution Refutation in Propositional Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Extending Logic Programs With Description Logic Expressions for the Semantic Web

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Logic Programs With Functions and Default Values

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Termination of Logic Programs With Delay Declarations

The Journal of Logic Programming
1999English

Optimization of Logic Programs With Dynamic Scheduling

1997English

Disjunctive Signed Logic Programs

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1997English

The Difficulties of Learning Logic Programs With Cut

Journal of Artificial Intelligence Research
Artificial Intelligence
1993English

On the Semantics of Logic Programs With Preferences

Journal of Artificial Intelligence Research
Artificial Intelligence
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy