the proceedings contain 46 papers. the topics discussed include: simulation unification: beyond querying semistructured data;answering why and how questions with respect to a frame-based knowledge base: a preliminary ...
ISBN:
(纸本)9783939897439
the proceedings contain 46 papers. the topics discussed include: simulation unification: beyond querying semistructured data;answering why and how questions with respect to a frame-based knowledge base: a preliminary report;applying machine learning techniques to ASP solving;an answer set solver for non-herbrand programs: progress report;using answer set programming in the development of verified software;towards testing concurrent objects in CLP;visualization of CHR through source-to-source transformation;static type inference for the Q language using constraint logicprogramming;the additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages;surviving solver sensitivity: an ASP practitioner's guide;and answer set solving with lazy nogood generation.
We are proud to introduce this special issue of the Journal of theory and Practice of logicprogramming (TPLP), dedicated to the full papers accepted for the 28th international conference on logic programming (iclp). ...
We are proud to introduce this special issue of the Journal of theory and Practice of logicprogramming (TPLP), dedicated to the full papers accepted for the 28th international conference on logic programming (iclp). the iclp meetings started in Marseille in 1982 and since then constitute the main venue for presenting and discussing work in the area of logicprogramming.
We are proud to introduce this special issue of LIPIcs - Leibniz international Proceedings in Informatics, dedicated to the technical communications accepted for the 28th international conference on logic programming ...
详细信息
the proceedings contain 10 papers. the special focus in this conference is on . the topics include: Large-Scale Assessment of Deep Relational Machines;how Much Can Experimental Cost Be Reduced in Active Learning of Ag...
ISBN:
(纸本)9783319999593
the proceedings contain 10 papers. the special focus in this conference is on . the topics include: Large-Scale Assessment of Deep Relational Machines;how Much Can Experimental Cost Be Reduced in Active Learning of Agent Strategies?;diagnostics of Trains with Semantic Diagnostics Rules;the game of bridge: A challenge for ILP;Sampling-Based SAT/ASP Multi-model Optimization as a Framework for Probabilistic Inference;Explaining Black-Box Classifiers with ILP – Empowering LIME with Aleph to Approximate Non-linear Decisions with Relational Rules;learning Dynamics with Synchronous, Asynchronous and General Semantics;was the Year 2000 a Leap Year? Step-Wise Narrowing theories with Metagol.
this special issue of theory and Practice of logicprogramming (TPLP) contains the regular papers accepted for presentation at the 33rd internationalconference on logicprogramming (iclp 2017), held in Melbourne, Aus...
详细信息
this special issue of theory and Practice of logicprogramming (TPLP) contains the regular papers accepted for presentation at the 33rd internationalconference on logicprogramming (iclp 2017), held in Melbourne, Australia from the 28th of August to the 1st of September, 2017. iclp 2017 was colocated withthe 23rd internationalconference on Principles and Practice of Constraint programming (CP 2017) and the 20thinternationalconference on theory and Applications of Satisfiability Testing (SAT 2017). Since the first conference held in Marseille in 1982, iclp has been the premier international event for presenting research in logicprogramming.
We define a nonmonotonic formalism that shares some features withthree other systems of nonmonotonic reasoning-default logic, logicprogramming with strong negation, and nonmonotonic causal logic-and study its possib...
详细信息
We attack an interesting open problem (an efficient algorithm to invert the generalized Cantor N-tupling bijection) and solve it through a sequence of equivalence preserving transformations of logic programs, that tak...
详细信息
We develop a compilation scheme and categorical abstract machine for execution of logic programs based on allegories, the categorical version of the calculus of relations. Operational and denotational semantics are de...
详细信息
the fourthinternationalconference on logicprogramming and Nonmonotonic Reasoning (LPNMR) was held in Dagstuhl, Germany from the 28th to the 31st of July 1997. this year's installment of LPNMR reflected a new st...
详细信息
the fourthinternationalconference on logicprogramming and Nonmonotonic Reasoning (LPNMR) was held in Dagstuhl, Germany from the 28th to the 31st of July 1997. this year's installment of LPNMR reflected a new stage in the development of this cross-disciplinary field, with demonstrations of ten implemented system joining the submitted papers, invited talks and panel discussions. the details of the conference together withthe various topics tackled are presented.
In this paper we consider the problem of introducing variables in temporal logic programs under the formalism of Temporal Equilibrium logic (TEL), an extension of Answer Set programming (ASP) for dealing with linear-t...
详细信息
暂无评论