Inductive logicprogramming (ILP) deals withthe problem of finding a hypothesis covering positive examples and excluding negative examples. It uses first-order logic as a uniform representation for examples and hypot...
详细信息
the advance of Internet and Sensor technology has brought about new challenges evoked by the emergence of continuous data streams. While existing data-stream management systems allow for high-throughput stream process...
详细信息
Automatically deriving properties of new games is one of the fundamental challenges for general game-playing systems, whose task is to learn to play any previously unknown game solely by being given the rules of that ...
详细信息
Rules are definitely among the main kinds of knowledge representation in artificialintelligence. In recent years, there has been much discussion about production rules and logicprogramming to understand whether the ...
详细信息
Nominal schema is an expressive description logic (DL) construct that was proposed in recent efforts to integrate DLs and (logicprogramming) rule-based paradigms for the Semantic Web [1] represented by two "dive...
详细信息
the proceedings contain 45 papers. the topics discussed include: the complexity of partial-observation parity games;awareness in games, awareness in logic;human and unhuman commonsense reasoning;tableau calculus for t...
ISBN:
(纸本)364216241X
the proceedings contain 45 papers. the topics discussed include: the complexity of partial-observation parity games;awareness in games, awareness in logic;human and unhuman commonsense reasoning;tableau calculus for the logic of comparative similarity over arbitrary distance spaces;extended computation tree logic;using causal relationships to deal withthe ramification problem in action formalisms based on description logics;generating counterexamples for structural inductions by exploiting nonstandard models;characterizing space complexity classes via Knuth-Bendix orders;how to universally close the existential rule;magically constraining the inverse method using dynamic polarity assignment;lazy abstraction for size-change termination;a syntactical approach to qualitative constraint networks merging;on the satisfiability of two-variable logic over data words;and generic methods for formalizing sequent calculi applied to provability logic.
In this paper it is shown an application of an agent-oriented programming paradigm with a reasoning layer based on a logicprogramming. the presented solution was used to build bots in Counter-Strike video game. the s...
详细信息
In this paper it is shown an application of an agent-oriented programming paradigm with a reasoning layer based on a logicprogramming. the presented solution was used to build bots in Counter-Strike video game. the software architecture for new bots has been presented and benefits were discussed. this article does not discusses all the work in detail, but provides more general idea about research, which was done.
the proceedings contain 28 papers. the topics discussed include: speed-up techniques for negation in grounding;constraint-based abstract semantics for temporal logic: a direct approach to design and implementation;on ...
ISBN:
(纸本)3642175104
the proceedings contain 28 papers. the topics discussed include: speed-up techniques for negation in grounding;constraint-based abstract semantics for temporal logic: a direct approach to design and implementation;on the equality of probabilistic terms;program logics for homogeneous meta-programming;verifying pointer and string analyses with region type systems;ABC: algebraic bound computation for loops;hardness of preorder checking for basic formalisms;a quasipolynomial cut-elimination procedure in deep inference via atomic flows and threshold formulae;pairwise cardinality networks;logic and computation in a lambda calculus with intersection and union types;graded alternating-time temporal logic;non-oblivious strategy improvement;label-free proof systems for intuitionistic modal logic IS5;an intuitionistic epistemic logic for sequential consistency on shared memory;disunification for ultimately periodic interpretations;and synthesis of trigger properties.
the proceedings contain 45 papers. the special focus in this conference is on logic for programming, artificialintelligence, and reasoning. the topics include: Characterising space complexity classes via Knuth-Bendix...
ISBN:
(纸本)9783642162411
the proceedings contain 45 papers. the special focus in this conference is on logic for programming, artificialintelligence, and reasoning. the topics include: Characterising space complexity classes via Knuth-Bendix orders;focused natural deduction;how to universally close the existential rule;on the Complexity of the Bernays-Schönfinkel Class with Datalog;magically constraining the inverse method using dynamic polarity assignment;lazy abstraction for size-change termination;a syntactical approach to qualitative constraint networks merging;on the satisfiability of two-variable logic over data words;generic methods for formalising sequent calculi applied to provability logic;awareness in games, awareness in logic;characterising probabilistic processes logically: (Extended abstract);fCube: An efficient prover for Intuitionistic propositional logic;superposition-Based Analysis of First-Order Probabilistic Timed Automata;A nonmonotonic extension of KLM Preferential logic P;on strong normalization of the Calculus of Constructions with type-based termination;aligators for arrays (tool paper);Clause elimination procedures for CNF formulas;Partitioning SAT instances for distributed solving;infinite families of finite string rewriting systems and their confluence;polite theories revisited;human and unhuman commonsense reasoning;clausal graph tableaux for hybrid logic with eventualities and difference;the consistency of the CADIAG-2 knowledge base: A probabilistic approach;on the Complexity of Model Expansion;labelled Unit Superposition Calculi for Instantiation-Based reasoning;Boosting local search thanks to CDCL;interpolating quantifier-free Presburger Arithmetic;variable compression in ProbLog;Improving resource-unaware SAT solvers;expansion nets: Proof-nets for propositional classical logic;revisiting matrix interpretations for polynomial derivational complexity of term rewriting;Gödel logics – A SURVEY;bottom-up tree automata with term constraints.
the proceedings contain 34 papers. the special focus in this conference is on Web reasoning and Rule Systems. the topics include: Specifying the interaction of knowledge bases declaratively;semantic matchmaking and ra...
ISBN:
(纸本)9783642332029
the proceedings contain 34 papers. the special focus in this conference is on Web reasoning and Rule Systems. the topics include: Specifying the interaction of knowledge bases declaratively;semantic matchmaking and ranking;beyond deduction in retrieval scenarios;ontology-based governance of data-aware processes;query patterns for existential rules;semantic independence in DL-programs;an update on query answering with restricted forms of negation;towards a unifying approach to representing and querying temporal data in description logics;meta programming with answer sets for smart spaces;a sound and complete backward chaining algorithm for existential rules;deriving predicate statistics for logic rules;query rewriting under ontology contraction;improving the recall of live linked data querying through reasoning;distributed ontology based data access via logicprogramming;argumentation and voting for an intelligent user empowering business directory on the web;a polynomial reduction from ASPDA to ASP;rule-based context assessment in smart cities;building virtual earth observatories using ontologies and linked geospatial data;a tableau algorithm for description logics with nominal schema;on integrating description logics and rules under minimal hypotheses;a mobile reasoner for semantic-based matchmaking;ontology-based data access using views;description logic knowledge base exchange;datalog-based data access;a quadratic approach for trend detection in folksonomies;non-termination analysis and cost-based query optimization of logic programs and when data, knowledge and processes meet together.
暂无评论