the 30th edition of the internationalconference of logicprogramming took place in Vienna in July 2014 at the Vienna Summer of logic - the largest scientific conference in the history of logic. Following the initiati...
详细信息
the 30th edition of the internationalconference of logicprogramming took place in Vienna in July 2014 at the Vienna Summer of logic - the largest scientific conference in the history of logic. Following the initiative in 2010 taken by the Association for logicprogramming and Cambridge University Press, the full papers accepted for the internationalconference on logicprogramming again appear as a special issue of theory and Practice of logicprogramming (TPLP) - the 30th international conference on logic programming Special Issue. Papers describing original, previously unpublished research and not simultaneously submitted for publication elsewhere were solicited in all areas of logicprogramming including but not restricted to: theory: Semantic Foundations, Formalisms, Non- monotonic Reasoning, Knowledge Representation; Implementation: Compilation, Memory Management, Virtual Machines, Parallelism; Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing; Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, programming Techniques; Related Paradigms: Abductive logicprogramming, Inductive logicprogramming, Constraint logicprogramming, Answer-Set programming; Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics.
the proceedings contain 19 papers. the special focus in this conference is on Inductive logicprogramming. the topics include: A Simulated Annealing Meta-heuristic for Concept Learning in Description logics;generative...
ISBN:
(纸本)9783030974534
the proceedings contain 19 papers. the special focus in this conference is on Inductive logicprogramming. the topics include: A Simulated Annealing Meta-heuristic for Concept Learning in Description logics;generative Clausal Networks: Relational Decision Trees as Probabilistic Circuits;human-Like Rule Learning from Images Using One-Shot Hypothesis Derivation;learning and Revising Dynamic Temporal theories in the Full Discrete Event Calculus;learning logic Programs Using Neural Networks by Exploiting Symbolic Invariance;feature Learning by Least Generalization;a First Step Towards Even More Sparse Encodings of Probability Distributions;mapping Across Relational Domains for Transfer Learning with Word Embeddings-Based Similarity;programmatic Policy Extraction by Iterative Local Search;online Learning of logic Based Neural Network Structures;embedding Models for Knowledge Graphs Induced by Clusters of Relations and Background Knowledge;using Domain-Knowledge to Assist Lead Discovery in Early-Stage Drug Design;preface;non-parametric Learning of Embeddings for Relational Data Using Gaifman Locality theorem;transfer Learning for Boosted Relational Dependency Networks through Genetic Algorithm;Ontology Graph Embeddings and ILP for Financial Forecasting;synthetic Datasets and Evaluation Tools for Inductive Neural Reasoning.
the proceedings contain 30 papers. the special focus in this conference is on logicprogramming and Non-monotonic Reasoning. the topics include: A Sequent Calculus for Generalized Inductive Definitions;tExplain: ...
ISBN:
(纸本)9783031742088
the proceedings contain 30 papers. the special focus in this conference is on logicprogramming and Non-monotonic Reasoning. the topics include: A Sequent Calculus for Generalized Inductive Definitions;tExplain: Information Extraction with Explanations;ASP-Based Large Neighborhood Prioritized Search for Course Timetabling;towards Industrial-Scale Product Configuration;An ILASP-Based Approach to Repair Petri Nets;abstract Dialectical Frameworks are Boolean Networks;Using Learning from Answer Sets for Robust Question Answering with LLM;Multi-paradigm logicprogramming in the ErgoAI System;An ASP-Based Approach to Water Distribution System Reconstruction;consequence Operators of Characterization logics – the Case of Abstract Argumentation;Efficiently Grounding FOL Using Bit Vectors;Integrating MiniZinc with ASP Chef: Browser-Based Constraint programming for Education and Prototyping;answer Set Explanations via Preferred Unit-Provable Unsatisfiable Subsets;Towards Mass Spectrum Analysis with ASP;monitoring and Scheduling of Semiconductor Failure Analysis Labs;a Semantical Approach to Abstraction in Answer Set programming and Assumption-Based Argumentation;on Forgetting in Assumption-Based Argumentation;Towards Explainable Weather Forecasting through FastLAS;semantic-Based Arguments Using logicprogramming Rewriting Systems;modelling Dialogues in a Concurrent Language for Argumentation;a Fixpoint Characterisation of Temporal Equilibrium logic;a Category-theoretic Perspective on Higher-Order Approximation Fixpoint theory;a Simulation for Supply Chains Contract Execution;Reasoning and Explanation Generation in Ad Hoc Collaboration Between Humans and Embodied AI;policies, Penalties, and Autonomous Agents;LTLf2ASP: LTLf Bounded Satisfiability in ASP;Integrating Structured Declarative Language (SDL) into ASP Chef;a Generalisation of Epistemic Splitting Property.
this volume contains the refereed proceedings of the 13thinternationalconference on logicprogramming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA. the 290long and 11 short pa...
ISBN:
(数字)9783319232645
ISBN:
(纸本)9783319232638;9783319232645
this volume contains the refereed proceedings of the 13thinternationalconference on logicprogramming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA. the 290long and 11 short papers presented together with 3 invited talks, the paper reporting on the Answer Set programming competition, and four papers presented by LPNMR student attendees at the doctoral consortium were carefully reviewed and selected from 60 submissions. LPNMR is a forum for exchanging ideas on declarative logicprogramming, nonmonotonic reasoning, and knowledge representation. the aim of the LPNMR conferences is to facilitate interactions between researchers interested in the design and implementation of logic-based programming languages and database systems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning.
the proceedings contain 160 papers. the topics discussed include: accelerating number theoretic transform with multi-GPU systems for efficient zero knowledge proof;accelerating retrieval-augmented generation;ARC: warp...
ISBN:
(纸本)9798400710797
the proceedings contain 160 papers. the topics discussed include: accelerating number theoretic transform with multi-GPU systems for efficient zero knowledge proof;accelerating retrieval-augmented generation;ARC: warp-level adaptive atomic reduction in GPUs to accelerate differentiable rendering;automatic tracing in task-based runtime systems;ByteFS: system support for (CXL-based) memory-semantic solid-state drives;coach: exploiting temporal patterns for all-resource oversubscription in cloud platforms;AMuLeT: automated design-time testing of secure speculation countermeasures;BQSim: GPU-accelerated batch quantum circuit simulation using decision diagram;cascade: a dependency-aware efficient training framework for temporal graph neural network;and CIPHERMATCH: accelerating homomorphic encryption-based string matching via memory-efficient data packing and in-flash processing.
the proceedings contain 160 papers. the topics discussed include: accelerating number theoretic transform with multi-GPU systems for efficient zero knowledge proof;accelerating retrieval-augmented generation;ARC: warp...
ISBN:
(纸本)9798400706981
the proceedings contain 160 papers. the topics discussed include: accelerating number theoretic transform with multi-GPU systems for efficient zero knowledge proof;accelerating retrieval-augmented generation;ARC: warp-level adaptive atomic reduction in GPUs to accelerate differentiable rendering;automatic tracing in task-based runtime systems;ByteFS: system support for (CXL-based) memory-semantic solid-state drives;coach: exploiting temporal patterns for all-resource oversubscription in cloud platforms;AMuLeT: automated design-time testing of secure speculation countermeasures;BQSim: GPU-accelerated batch quantum circuit simulation using decision diagram;cascade: a dependency-aware efficient training framework for temporal graph neural network;and CIPHERMATCH: accelerating homomorphic encryption-based string matching via memory-efficient data packing and in-flash processing.
this book constitutes revised selected papers of the 19thinternationalconference on Applications of Declarative programming and Knowledge Management, INAP 2011, and the 25th Workshop on logicprogramming, WLP 2011, ...
ISBN:
(数字)9783642415241
ISBN:
(纸本)9783642415234;9783642415241
this book constitutes revised selected papers of the 19thinternationalconference on Applications of Declarative programming and Knowledge Management, INAP 2011, and the 25th Workshop on logicprogramming, WLP 2011, held in Vienna, Austria, in September 2011. the 19 papers presented in this volume were carefully reviewed and selected from 27 papers presented at the conference and initially a total of 35 submissions. the book also contains the papers of two invited talks. the papers are organized in topical sections on languages; answer-set programming and abductive reasoning; constraints and logicprogramming; answer-set programming and model expansion; application papers; and system descriptions.
Answer-set programming (ASP) is a declarative logicprogramming paradigm that provides an efficient problem-solving approach in logic-based artificial intelligence (AI). While it has proven successful, ASP encounters ...
详细信息
ISBN:
(纸本)9783031742088;9783031742095
Answer-set programming (ASP) is a declarative logicprogramming paradigm that provides an efficient problem-solving approach in logic-based artificial intelligence (AI). While it has proven successful, ASP encounters specific situations where its language falls short of accurately representing and reasoning about incomplete information. Researchers now widely agree that ASP requires powerful introspective reasoning withthe use of epistemic modal operators;yet, despite long-lasting debates on how to extend ASP with such operators, they cannot reach a consensus on satisfactory semantics. Cabalar et al. argue that such research should be grounded in formal robustness. thus, inspired by ASP's foundational properties, they introduce a structural principle called epistemic splitting and designate it as one of the compulsory criteria for epistemic ASP. this paper generalises their approach to a more comprehensive, meticulous, and conservative extension of ASP-splitting, thereby enhancing its applicability and efficiency.
Using robotic systems in laboratory settings increases the quality and reproducibility of laboratory experiments. One challenge laboratory personal faces is the need of programming knowledge to set up the robotic syst...
详细信息
暂无评论