The SCEAS System
Navigation Menu

Conferences in DBLP

Logic Programming and Non-Monotonic Reasoning (LPNMR) (lpnmr)
2009 (conf/lpnmr/2009)

  1. SAT, SMT and Applications. [Citation Graph (, )][DBLP]

  2. Logic-Based Modeling in Systems Biology. [Citation Graph (, )][DBLP]

  3. Integrating Answer Set Programming and Satisfiability Modulo Theories. [Citation Graph (, )][DBLP]

  4. How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP. [Citation Graph (, )][DBLP]

  5. Splitting a CR-Prolog Program. [Citation Graph (, )][DBLP]

  6. Contextual Argumentation in Ambient Intelligence. [Citation Graph (, )][DBLP]

  7. Argumentation Context Systems: A Framework for Abstract Group Argumentation. [Citation Graph (, )][DBLP]

  8. A Revised Concept of Safety for General Answer Set Programs. [Citation Graph (, )][DBLP]

  9. Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs. [Citation Graph (, )][DBLP]

  10. Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs. [Citation Graph (, )][DBLP]

  11. Complexity of the Stable Model Semantics for Queries on Incomplete Databases. [Citation Graph (, )][DBLP]

  12. Manifold Answer-Set Programs for Meta-reasoning. [Citation Graph (, )][DBLP]

  13. A Deductive System for FO(ID) Based on Least Fixpoint Logic. [Citation Graph (, )][DBLP]

  14. Computing Stable Models via Reductions to Difference Logic. [Citation Graph (, )][DBLP]

  15. A Module-Based Framework for Multi-language Constraint Modeling. [Citation Graph (, )][DBLP]

  16. Induction on Failure: Learning Connected Horn Theories. [Citation Graph (, )][DBLP]

  17. On Reductive Semantics of Aggregates in Answer Set Programming. [Citation Graph (, )][DBLP]

  18. A First Order Forward Chaining Approach for Answer Set Computing. [Citation Graph (, )][DBLP]

  19. Knowledge Qualification through Argumentation. [Citation Graph (, )][DBLP]

  20. Simple Random Logic Programs. [Citation Graph (, )][DBLP]

  21. Max-ASP: Maximum Satisfiability of Answer Set Programs. [Citation Graph (, )][DBLP]

  22. Belief Revision with Bounded Treewidth. [Citation Graph (, )][DBLP]

  23. Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection. [Citation Graph (, )][DBLP]

  24. A Default Approach to Semantics of Logic Programs with Constraint Atoms. [Citation Graph (, )][DBLP]

  25. The Complexity of Circumscriptive Inference in Post's Lattice. [Citation Graph (, )][DBLP]

  26. Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs. [Citation Graph (, )][DBLP]

  27. Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence. [Citation Graph (, )][DBLP]

  28. Weight Constraint Programs with Functions. [Citation Graph (, )][DBLP]

  29. Bridging the Gap between High-Level Reasoning and Low-Level Control. [Citation Graph (, )][DBLP]

  30. A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming. [Citation Graph (, )][DBLP]

  31. An ASP-Based System for e-Tourism. [Citation Graph (, )][DBLP]

  32. ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions. [Citation Graph (, )][DBLP]

  33. Translating Preferred Answer Set Programs to Propositional Logic. [Citation Graph (, )][DBLP]

  34. CR-Prolog as a Specification Language for Constraint Satisfaction Problems. [Citation Graph (, )][DBLP]

  35. Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using . [Citation Graph (, )][DBLP]

  36. Computing Weighted Solutions in Answer Set Programming. [Citation Graph (, )][DBLP]

  37. Representing Multi-agent Planning in CLP. [Citation Graph (, )][DBLP]

  38. Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. [Citation Graph (, )][DBLP]

  39. AQL: A Query Language for Action Domains Modelled Using Answer Set Programming. [Citation Graph (, )][DBLP]

  40. Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Programs. [Citation Graph (, )][DBLP]

  41. Layer Supported Models of Logic Programs. [Citation Graph (, )][DBLP]

  42. Applying ASP to UML Model Validation. [Citation Graph (, )][DBLP]

  43. The Logical Consequence Role in LPNMR: A Parameterized Computation Approach. [Citation Graph (, )][DBLP]

  44. Social Default Theories. [Citation Graph (, )][DBLP]

  45. nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver. [Citation Graph (, )][DBLP]

  46. An ASP System with Functions, Lists, and Sets. [Citation Graph (, )][DBLP]

  47. A Simple Distributed Conflict-Driven Answer Set Solver. [Citation Graph (, )][DBLP]

  48. An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic. [Citation Graph (, )][DBLP]

  49. On the Input Language of ASP Grounder Gringo. [Citation Graph (, )][DBLP]

  50. The Conflict-Driven Answer Set Solver clasp: Progress Report. [Citation Graph (, )][DBLP]

  51. System f2lp - Computing Answer Sets of First-Order Formulas. [Citation Graph (, )][DBLP]

  52. The First Version of a New ASP Solver : ASPeRiX. [Citation Graph (, )][DBLP]

  53. An ASP-Based Data Integration System. [Citation Graph (, )][DBLP]

  54. Gorgias-C: Extending Argumentation with Constraint Solving. [Citation Graph (, )][DBLP]

  55. ANTON: Composing Logic and Logic Composing. [Citation Graph (, )][DBLP]

  56. Modelling Normative Frameworks Using Answer Set Programing. [Citation Graph (, )][DBLP]

  57. Generating Optimal Code Using Answer Set Programming. [Citation Graph (, )][DBLP]

  58. Logic Programming Techniques in Protein Structure Determination: Methodologies and Results. [Citation Graph (, )][DBLP]

  59. PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming. [Citation Graph (, )][DBLP]

  60. HAPLO-ASP: Haplotype Inference Using Answer Set Programming. [Citation Graph (, )][DBLP]

  61. Using Answer Set Programming to Enhance Operating System Discovery. [Citation Graph (, )][DBLP]

  62. Non-monotonic Reasoning Supporting Wireless Sensor Networks for Intelligent Monitoring: The SINDI System. [Citation Graph (, )][DBLP]

  63. Some DLV Applications for Knowledge Management. [Citation Graph (, )][DBLP]

  64. Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs. [Citation Graph (, )][DBLP]

  65. Optimal Multicore Scheduling: An Application of ASP Techniques. [Citation Graph (, )][DBLP]

  66. From Data Integration towards Knowledge Mediation. [Citation Graph (, )][DBLP]

  67. Integrating Answer Set Modules into Agent Programs. [Citation Graph (, )][DBLP]

  68. What Next for ASP? (A Not-Entirely-Well-Informed Opinion). [Citation Graph (, )][DBLP]

  69. Using Lightweight Inference to Solve Lightweight Problems. [Citation Graph (, )][DBLP]

  70. Present and Future Challenges for ASP Systems. [Citation Graph (, )][DBLP]

  71. ASP: The Future Is Bright. [Citation Graph (, )][DBLP]

  72. Exploiting ASP in Real-World Applications: Main Strengths and Challenges. [Citation Graph (, )][DBLP]

  73. Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode. [Citation Graph (, )][DBLP]

  74. Towards an Embedded Approach to Declarative Problem Solving in ASP. [Citation Graph (, )][DBLP]

  75. The Second Answer Set Programming Competition. [Citation Graph (, )][DBLP]

System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002