Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Inference and Learning in Probabilistic Logic Programs Using Weighted Boolean Formulas

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

Indirect Disjunctive Belief Rule Base Modeling Using Limited Conjunctive Rules: Two Possible Means

International Journal of Approximate Reasoning
Applied MathematicsTheoretical Computer ScienceArtificial IntelligenceSoftware
2019English

TLP Volume 14 Issue 6 Cover and Back Matter

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

Extending Removed Sets Revision to Partially Preordered Belief Bases

International Journal of Approximate Reasoning
Applied MathematicsTheoretical Computer ScienceArtificial IntelligenceSoftware
2011English

Cautious Reasoning in ASP via Minimal Models and Unsatisfiable Cores

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

2CoBel: A Scalable Belief Function Representation for 2D Discernment Frames

International Journal of Approximate Reasoning
Applied MathematicsTheoretical Computer ScienceArtificial IntelligenceSoftware
2018English

Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs

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

TLP Volume 10 Issue 2 Cover and Front Matter

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

Idomatic Partitions of Direct Products of Complete Graphs

Discrete Mathematics
CombinatoricsTheoretical Computer ScienceDiscrete Mathematics
2010English

Lexicographic Refinements in Stationary Possibilistic Markov Decision Processes

International Journal of Approximate Reasoning
Applied MathematicsTheoretical Computer ScienceArtificial IntelligenceSoftware
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy