„Logic Programming“

Suchergebnisse

2.836 Treffer

• Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions
  Riguzzi, Fabrizio ; Swift, Terrance 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• From Relational Specifications to Logic Programs
  Near, Joseph P. 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Dedicated Tabling for a Probabilistic Setting
  Mantadelis, Theofrastos ; Janssens, Gerda 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Contractibility and Contractible Approximations of Soft Global Constraints
  Maher, Michael J. 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Improving the Efficiency of Gibbs Sampling for Probabilistic Logical Models by Means of Program Specialization
  Fierens, Daan 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Inductive Logic Programming as Abductive Search
  Corapi, Domenico ; Russo, Alessandra ; Lupu, Emil 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• HEX Programs with Action Atoms
  Basol, Selen ; Erdem, Ozan ; Fink, Michael ; Ianni, Giovambattista 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Introduction to the Technical Communications of the 26th International Conference on Logic Programming
  Hermenegildo, Manuel ; Schaub, Torsten 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems
  Rodriguez-Hortala, Juan 2008 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Intelligent Query Answering with Contextual Knowledge for Relational Databases
  Seipel, Dietmar ; Weidner, Daniel ; Abreu, Salvador 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Logic Programming Approach to Reaction Systems
  Falaschi, Moreno ; Palma, Giulia 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Model Revision of Logical Regulatory Networks Using Logic-Based Tools
  Gouveia, Filipe ; Lynce, Inês ; Monteiro, Pedro T. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Learning-Knowledge-Reasoning Paradigm for Natural Language Understanding and Question Answering
  Mitra, Arindam 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Learning Commonsense Knowledge Through Interactive Dialogue
  Wu, Benjamin ; Russo, Alessandra ; Law, Mark ; Inoue, Katsumi 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards Incremental and Modular Context-Sensitive Analysis
  Garcia-Contreras, Isabel ; Morales, José F. ; Hermenegildo, Manuel V. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Improving Candidate Quality of Probabilistic Logic Models
  Côrte-Real, Joana ; Dries, Anton ; Dutra, Inês ; Rocha, Ricardo 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Cumulative Scoring-Based Induction of Default Theories
  Shakerin, Farhad ; Gupta, Gopal 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Epistemic Logic Programs with World View Constraints
  Kahl, Patrick Thor ; Leclerc, Anthony P. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On Improving Run-time Checking in Dynamic Languages
  Stulova, Nataliia 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Achieving High Quality Knowledge Acquisition using Controlled Natural Language
  Gao, Tiantian 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik