Logic Programming and Automated Reasoning
LPAR
B
CORE rank
CORE rank (raw)
B
Fields of research
Theory of Computation · Artificial Intelligence
Papers indexed
987
1991–2024
Papers per year
199192 peak2024
Most published authors
LPAR papers
987 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 1991 | Implementation of Prolog as Binary Definite Programs. | Bart Demoen, Andr Marin |
| 1991 | Probabilistic Logic Programs and their Semantics. | Evgeny Dantsin |
| 1991 | On Procedural Semantics of Metalevel Negation. | Stefania Costantini, Gaetano Aurelio Lanzarone |
| 1991 | Integrity Verification in Knowledge Bases. | Franois Bry, Rainer Manthey, Bern Martens |
| 1991 | Objects in a Logic Programming Framework. | Antonio Brogi, Evelina Lamma, Paola Mello |
| 1991 | Deep Logic Program Transformation Using Abstract Interpretation. | Dmitri Yu. Boulanger |
| 1991 | Properties of Algorithmic Operators. | Vladimir B. Borshchev |
| 1991 | WAM Algebras - A Mathematical Study of Implementation, Part 2. | Egon Brger, Dean Rosenzweig |
| 1991 | Logical Operational Semantics of Parlog. Part II: Or-Parallelism. | Egon Brger, Elvinia Riccobene |
| 1991 | Abductive Systems for Non-Monotonic Reasoning. | A. G. Bondarenko |
| 1991 | A Process Semantics of Logic Programs. | Mounira Belmesk |
| 1991 | Real-Time Memory Management for Prolog. | Yves Bekkers, Lucien Ungaro |
976–987 of 987← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*SODAACM/SIAM Symposium on Discrete Algorithms
- A*ICALPInternational Colloquium on Automata Languages and Programming
- A*STOCACM Symposium on Theory of Computing
- A*FOCSIEEE Symposium on Foundations of Computer Science
- AESAEuropean Symposium on Algorithms
- ASTACSInternational Symposium on Theoretical Aspects of Computer Science
- A*LICSIEEE Symposium on Logic in Computer Science
- AGDGraph Drawing