Determinacy Inference for Logic Programs

Lecture Notes in Computer Science- Germany

doi 10.1007/978-3-540-31987-0_9

Full Text

Abstract

Available in

Date

Authors

Publisher

Springer Berlin Heidelberg

Related search

Inference and Learning in Probabilistic Logic Programs Using Weighted Boolean Formulas

Theory and Practice of Logic Programming
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceArtificial IntelligenceSoftware
2014English

Answer Sets for Prioritized Logic Programs

1997English

Logic Programs for Consistency-Based Diagnosis.

English

Ordering Optimisations for Concurrent Logic Programs

English

Extending Logic Programs With Description Logic Expressions for the Semantic Web

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

LUPS — A Language for Updating Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Declarative Semantics for Contradictory Modular Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Towards Verified Stochastic Variational Inference for Probabilistic Programs

Proceedings of the ACM on Programming Languages
2020English

Disjunctive Signed Logic Programs

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1997English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy