the proceedings contain 30 papers from the logic for programming, Artificial Intelligence, and Reasoning: 10thinternationalconference, LPAR 2003. the topics discussed include: congruence closure with integer offsets...
详细信息
the proceedings contain 30 papers from the logic for programming, Artificial Intelligence, and Reasoning: 10thinternationalconference, LPAR 2003. the topics discussed include: congruence closure with integer offsets;a machine-verified code generator;extensions of non-standard inferences to description logics with transitive roles;improving dependency pairs;extended caconicity of certain topological properties of set spaces;ordered diagnosis;minimizing automata on infinite words;automatic structures of bounded degree and strict geometry of interaction graph models.
the proceedings contain 30 papers. the special focus in this conference is on logicprogramming and Nonmonotonic Reasoning. the topics include: Fixed parameter complexity in AI and nonmonotonic reasoning;classifying s...
ISBN:
(纸本)3540667490
the proceedings contain 30 papers. the special focus in this conference is on logicprogramming and Nonmonotonic Reasoning. the topics include: Fixed parameter complexity in AI and nonmonotonic reasoning;classifying semi-normal default logic on the basis of its expressive power;locally determined logic programs;annotated revision programs;belief, knowledge, revisions, and a semantics of non-monotonic reasoning;an argumentation framework for reasoning about actions and changes;representing transition systems by logic programs;transformations of logic programs related to causality and planning;from causal theories to logic programs;monotone expansion of updates in logical databases;updating extended logic programs through abduction;pushing goal derivation in DLP computations;linear tabulated resolution for well founded semantics;minimal founded semantics for disjunctive logicprogramming;on the role of negation in choice logic programs;approximating reiter’s default logic;coherent well-founded annotated logic programs;many-valued disjunctive logic programs with probabilistic semantics;extending disjunctive logicprogramming by T-norms;extending the stable model semantics with more expressive rules;stable model semantics for weight constraint rules;towards first-order nonmonotonic reasoning;comparison of sceptical NAF-free logicprogramming approaches;characterizations of classes of programs by three-valued operators;using LPNMR for problem specification and code generation;answer set planning;world-modeling vs. world-axiomatizing and extended inheritance techniques to solve real-world problems.
the proceedings contain 30 papers. the special focus in this conference is on Nonmononic reasoning and Descriptive complexity. the topics include: On the complexity of theory curbing;graph operations and monadic secon...
ISBN:
(纸本)3540412859
the proceedings contain 30 papers. the special focus in this conference is on Nonmononic reasoning and Descriptive complexity. the topics include: On the complexity of theory curbing;graph operations and monadic second-order logic;efficient first order functional program interpreter with time bound certifications;encoding temporal logics in executable Z;behavioural constructor implementation for regular algebras;an extensible proof text editor;a tactic language for the system Coq;proof simplification for model generation and its applications;compiling and verifying security protocols;equational binary decision diagrams;a PVS proof obligation generator for lustre programs;efficient structural information analysis for real CLP languages;playing logic programs withthe alpha-beta algorithm;logicprogramming approaches for representing and solving constraint satisfaction problems;proof-search in implicative linear logic as a matching problem;a new model construction for the polymorphic lambda calculus;church’s lambda delta calculus;querying inconsistent databases;static reduction analysis for imperative object oriented languages;an abstract interpretation approach to termination of logic programs and using an abstract representation to specialize functional logic programs.
the proceedings contain 30 papers. the special focus in this conference is on Inductive logicprogramming. the topics include: Attribute-value learning versus inductive logicprogramming;advances in ILP theory and imp...
ISBN:
(纸本)3540647384
the proceedings contain 30 papers. the special focus in this conference is on Inductive logicprogramming. the topics include: Attribute-value learning versus inductive logicprogramming;advances in ILP theory and implementations;application of ILP to problems in chemistry and biology;relational reinforcement learning;learning first-order acyclic horn programs from entailment;combining statistical and relational methods for learning in hypertext domains;application of inductive logicprogramming to discover rules governing the three-dimensional topology of protein structure;term comparisons in first-order similarity measures;stochastic propositionalization of non-determinate background knowledge;a stochastic simple similarity;using prior probabilities and density estimation for relational classification;induction of constraint grammar-rules using progol;a hybrid approach to word segmentation;learning multilingual morphology with CLOG;using ILP systems for verification and validation of multi-agent systems;inducing shogi heuristics using inductive logicprogramming;repeat learning using predicate invention;normal programs and multiple predicate learning;strongly typed inductive concept learning;function-free horn clauses are hard to approximate;a GA-based relational learner;learning structurally indeterminate clauses;completing inverse entailment;distances and limits on herbrand interpretations;relational distance-based clustering;a framework for defining distances between first-order logic objects;detecting traffic problems with ILP and a comparison of ILP and propositional systems on propositional traffic data.
the proceedings contain 30 papers. the special focus in this conference is on logic for programming, Artificial Intelligence, and Reasoning. the topics include: From tableaux to automata for description logics;imperat...
ISBN:
(纸本)3540201017
the proceedings contain 30 papers. the special focus in this conference is on logic for programming, Artificial Intelligence, and Reasoning. the topics include: From tableaux to automata for description logics;imperative object-based calculi in co-inductive type theories;congruence closure with integer offsets;a translation characterizing the constructive content of classical theories;extensions of non-standard inferences to description logics with transitive roles;extended canonicity of certain topological properties of set spaces;algebraic and model theoretic techniques for fusion decidability in modal logics;on closure under complementation of equational tree automata for theories extending ac;completeness of e-unification with eager variable elimination;handling equality in monodic temporal resolution;computing preferred answer sets in answer set programming;a syntax-based approach to reasoning about actions and events;minimizing automata on infinite words;accelerating proof search for zero-one linear constraint systems;NP-completeness results for deductive problems on stratified terms;automatic structures of bounded degree;an optimal automata approach to ltl model checking of probabilistic systems;a logical study on qualitative default reasoning with probabilities;strict geometry of interaction graph models and connection-based proof construction in non-commutative logic.
the proceedings contain 30 papers. the special focus in this conference is on logic for programming, Artificial Intelligence, and Reasoning. the topics include: Improving on-demand strategy annotations;first-order log...
ISBN:
(纸本)3540000100
the proceedings contain 30 papers. the special focus in this conference is on logic for programming, Artificial Intelligence, and Reasoning. the topics include: Improving on-demand strategy annotations;first-order logic as a constraint programming language;maintenance of formal software developments by stratified verification;a note on universal measures for weak implicit computational complexity;extending compositional message sequence graphs;searching for invariants using temporal resolution;proof planning for feature interactions;an extension of BDICTL with functional dependencies and components;directed automated theorem proving;a framework for splitting BDI agents;on the complexity of disjunction and explicit definability properties in some intermediate logics;using BDDs with combinations of theories;on expressive description logics with composition of roles in number restrictions;query optimization of disjunctive databases with constraints through binding propagation;a non-commutative extension of MELL;procedural semantics for fuzzy disjunctive programs;pushdown specifications;theorem proving with sequence variables and flexible arity symbols;parallelism and tree regular constraints;a semantics for proof plans with applications to interactive proof planning;an isomorphism between a fragment of sequent calculus and an extension of natural deduction;a local system for linear logic;investigating type-certifying compilation with isabelle;automating type soundness proofs via decision procedures and guided reductions and abox satisfiability reduced to terminological reasoning in expressive description logics.
Withthe current trend of low product quality of oil and gas resources becoming more and more obvious, deepwater and ultra-deepwater oil and gas have become an important field of oil and gas development in various cou...
详细信息
Withthe current trend of low product quality of oil and gas resources becoming more and more obvious, deepwater and ultra-deepwater oil and gas have become an important field of oil and gas development in various countries. Deepwater oil and gas reservoirs are characterised by complex geological conditions and a narrow window of safe density, leading to the frequent occurrence of such complications as downhole kicks and overflows, which seriously threaten the lives of engineers and pollute the environment. the prerequisite for dealing with kick is to shut-in, but currently the drilling site shut-in relies on manual operation by multiple engineers, which not only takes a long time to operate, but is also affected by the subjective factors of the engineers. Withthe maturity of automation and artificial intelligence theory, well control shut-in also needs to develop in the direction of automation and intelligence, and carry out the research of well control automation shut-in system, so that the well can be shut-in quickly, automatically and efficiently when the drilling site kicks, blowouts and other complex situations. In this paper, using statistics and machine vision algorithms, an intelligent identification method of shut-in equipment operation status is established, and at the same time, a well control automated shut-in simulation system is designed based on PLC, and automated shut-in tests are carried out. the results show that the method of intelligent identification of operating status of shut-in equipment can identify the choke opening, the closure of each blowout preventer, and the working status of mud pump and top drive system in real-time without modifying the original equipment, and meanwhile, the well control automated shut-in simulation system can complete the shut-in within 5 min. this shows that the deepwater drilling well control automated shut-in method and simulation system can replace the engineer's operation to a certain extent, which provides
We present EditIQ, a completely automated framework for cinematically editing scenes captured via a stationary, large field-of-view and high-resolution camera. From the static camera feed, EditIQ initially generates m...
详细信息
Recent studies have proved the feasibility of ultra-low-precision (≤ 8-bit) training. However, most of the existing operational circuits support only a few higher precisions (FP16, FP32, etc.) for multiplication, and...
详细信息
the links to the online only Technical Communications in Lamma and Swift (2013) are unfortunately broken. All of the Technical Communications can be found here: https://***/core/journals/theory-and-practice-of-logic-p...
the links to the online only Technical Communications in Lamma and Swift (2013) are unfortunately broken. All of the Technical Communications can be found here: https://***/core/journals/theory-and-practice-of-logic-programming/article/editorial-29th-international-conference-on-logic-programming-special-issue/82FDD81073DC30A563ED242516CADAAE#fndtn-supplementary-materials
暂无评论