The proceedings contain 60 papers. The special focus in this conference is on logicprogramming. The topics include: A sequential implementation of Parlog;A GHC abstract machine and instruction set;a Prolog processor ...
ISBN:
(纸本)9783540164920
The proceedings contain 60 papers. The special focus in this conference is on logicprogramming. The topics include: A sequential implementation of Parlog;A GHC abstract machine and instruction set;a Prolog processor based on a pattern matching memory device;an improved version of Shapiro's model inference system;A framework for ICAI systems based on inductive inference and logicprogramming;rational debugging in logicprogramming;using definite clauses and integrity constraints as the basis for a theory formation approach to diagnostic reasoning;some issues and trends in the semantics of logicprogramming;parallel logicprogramming languages;An abstract machine for restricted AND-parallel execution of logic programs;p-Prolog: A parallel logic language based on exclusive relation;making exhaustive search programs deterministic;Compiling OR-parallelism into AND-parallelism;shared memory execution of committed-choice languages;logic program semantics for programming with equations;on the semantics of logicprogramming languages;towards a formal semantics for concurrent logicprogramming languages;design of a Prolog-based machine translation system;parallel logicprogramming for numeric applications;sequential and concurrent deterministic logic grammars;Efficient management of backtracking in AND-Parallelism;a parallel parsing system for natural language analysis;equivalences of logic programs: Extended abstract;qualified answers and their application to transformation;procedures in Horn-clause programming;higher-order logicprogramming;abstract interpretation of Prolog programs;verifleation of Prolog programs using an extension of execution;detection and optimization of functional computations in Prolog;control of logic program execution based on the functional relation;declarative graphics;an intelligent backtracking algorithm for parallel execution of logic programs.
The proceedings contain 7 papers. The topics discussed include: upgrading databases to ontologies;a sound and complete algorithm for simple conceptual logic programs;combining logicprogramming with description logics...
The proceedings contain 7 papers. The topics discussed include: upgrading databases to ontologies;a sound and complete algorithm for simple conceptual logic programs;combining logicprogramming with description logics and machine learning for the semantic web;a semantic stateless service description language;large scale reasoning on the semantic web;and reasoning on the web with open and closed predicates.
The proceedings contain 29 papers. The special focus in this conference is on logicprogramming and Nonmonotonic Reasoning. The topics include: Complexity results for abductive logicprogramming;a terminological inter...
ISBN:
(纸本)9783540594871
The proceedings contain 29 papers. The special focus in this conference is on logicprogramming and Nonmonotonic Reasoning. The topics include: Complexity results for abductive logicprogramming;a terminological interpretation of (abductive) logicprogramming;abduction over 3-valued extended logic programs;on logical constraints in logicprogramming;an operator for composing deductive data bases with theories of constraints;update rules in datalog programs;characterizations of the stable semantics by partial evaluation;game characterizations of logic program properties;computing the well-founded semantics faster;loop checking and the well-founded semantics;annotated revision specification programs;update by means of inference rules;a sphere world semantics for default reasoning;revision by communication;hypothetical updates, priority and inconsistency in a logicprogramming language;situation calculus specifications for event calculus logic programs;on the extension of logicprogramming with negation through uniform proofs;default consequence relations ms a logical framework for logic programs;skeptical rational extensions;reasoning with stratified default theories;incremental methods for optimizing partial instantiation;a transformation of propositional prolog programs into classical logic;nonmonotonic inheritance, argumentation and logicprogramming;an abductive framework for extended logicprogramming;embedding circumscriptive theories in general disjunctive programs;stable classes and operator pairs for disjunctive programs;nonmonotonicity and answer set inference;trans-epistemic semantics for logic programs;computing the acceptability semantics
The proceedings contain 29 papers. The special focus in this conference is on Algebraic and logicprogramming. The topics include: Outline of an object-oriented calculus of higher type;high-level-replacement systems f...
ISBN:
(纸本)9783540558736
The proceedings contain 29 papers. The special focus in this conference is on Algebraic and logicprogramming. The topics include: Outline of an object-oriented calculus of higher type;high-level-replacement systems for equational algebraic specifications;termination of rewrite systems by elementary interpretations;termination of order-sorted rewriting;generalized sufficient conditions for modular termination of rewriting;a theory of first-order built-in’s of prolog;fixpoint semantics for partial computed answer substitutions and call patterns;oracle semantics for prologa;on the relation between primitive recursion, schematization, and divergence;term rewriting with sharing and memorization;definitional trees;multiparadigm logicprogramming;non-linear real constraints in constraint logicprogramming;a general scheme for constraint functional logicprogramming;incremental rewriting in narrowing derivations;uniform narrowing strategies;proof by consistency in constructive systems with final algebra semantics;a fast algorithm for ground normal form analysis;eta-conversion for the languages of explicit substitutions;serialisation analysis of concurrent logic programs;implementation of a toolset for prototyping algebraic specifications of concurrent systems;axiomatizing permutation equivalence in the λ-calculus;a CLP view of logicprogramming;partial deduction of logic programs WRT well-founded semantics;the finiteness of logicprogramming derivations;theorem proving for hierarchic first-order theories;a goal oriented strategy based on completion and on n-syntactic equational theories.
The proceedings contain 21 papers. The special focus in this conference is on logic and Argumentation. The topics include: A logic of Knowledge and Belief Based on Abstract Arguments;computer-Supported Analysis of Arg...
ISBN:
(纸本)9783030446376
The proceedings contain 21 papers. The special focus in this conference is on logic and Argumentation. The topics include: A logic of Knowledge and Belief Based on Abstract Arguments;computer-Supported Analysis of Arguments in Climate Engineering;reasoning About Degrees of Confirmation;semirings of Evidence;dynamics of Fuzzy Argumentation Frameworks;reasoning as Speech Acts;ambiguity Preference and Context Learning in Uncertain Signaling;towards an Executable Methodology for the Formalization of Legal Texts;logicprogramming, Argumentation and Human Reasoning;broadening Label-Based Argumentation Semantics with May-Must Scales;probabilistic Three-Valued Argumentation Frameworks;preservation of Admissibility with Rationality and Feasibility Constraints;goal-Driven Structured Argumentation for Patient Management in a Multimorbidity Setting;uncertainty in Argumentation Schemes: Negative Consequences and Basic Slippery Slope;group Belief;ideal Related Algebras and Their logics Extended Abstract;further Steps Towards a logic of Polarization in Social Networks;a Formalization of the Slippery Slope Argument;a Decidable Multi-agent logic for Reasoning About Actions, Instruments, and Norms.
The proceedings contain 12 papers. The topics discussed include: prior to trust: frequentist and Bayesian views of trust in AI;rethinking bias and fairness in AI through the lens of gender studies;gender biases in rob...
The proceedings contain 12 papers. The topics discussed include: prior to trust: frequentist and Bayesian views of trust in AI;rethinking bias and fairness in AI through the lens of gender studies;gender biases in robots for education;towards ethical risk assessment of symbiotic ai systems with fuzzy rules;towards efficient norm-aware robots' decision making using datalog;debiasing computer vision models using data augmentation based adversarial techniques;a perturbation-based dataset evaluation approach for fair classifications;bias amplification chains in ML-based systems with an application to credit scoring;artificial intelligence as a peacebuilding tool: what is missing? a comparative legal analysis;and United Nations, artificial intelligences and regulations: analysis of the general assembly ai resolutions and the final report of the advisory body on AI.
The proceedings contain 18 papers. The special focus in this conference is on Functional and logicprogramming. The topics include: Safe folding/unfolding with conditional narrowing;optimal non-deterministic functiona...
ISBN:
(纸本)3540634592
The proceedings contain 18 papers. The special focus in this conference is on Functional and logicprogramming. The topics include: Safe folding/unfolding with conditional narrowing;optimal non-deterministic functional logic computations;a semantic basis for termination analysis of logic programs and its realization using symbolic norm constraints;parallelizing functional programs by generalization;higher-order equational unification via explicit substitutions;parameterised higher-order algebraic specifications;a computation model for a higher-order functional logic language;on composable properties of term rewriting systems;needed reductions with context-sensitive rewriting;conditional term graph rewriting;lazy narrowing with parametric order sorted types;termination of algebraic type systems;proof net semantics of proof search computation;perpetuality and uniform normalization;model generation with existentially quantified variables and constraints and optimal left-to-right pattern-matching automata.
The proceedings contain 36 papers. The special focus in this conference is on Artificial Intelligence logic and Applications. The topics include: An Abstraction Neural Network Generator for Efficient Formal Verif...
ISBN:
(纸本)9789819978687
The proceedings contain 36 papers. The special focus in this conference is on Artificial Intelligence logic and Applications. The topics include: An Abstraction Neural Network Generator for Efficient Formal Verification;a Fault Diagnosis Method of Discrete Event System Based on Binary Decision Diagram;Comparison and Implementation of ROS-Based SLAM and Path Planning Methods;a Diagnostic Model Generation Method Based on Clustering;a Heterogeneous Multicore Co-scheduling Algorithm Based on Multi-characteristic Fuzzy Cluster;conceptual Clustering Based on Linguistic-Valued Layered Concept Lattice;clause and Literal Selection Strategies Based on Complementary Pair Distribution for Contradiction Separation Deduction;an Improved Genetic programming Based Factor Construction for Stock Price Prediction;dual Channel Graph Neural Network for Fraud Detection;non-negative Matrix Factorization Method Based on Mixed Gaussian Kernels;satisfiability Verification of Integrity Constraints for Spatial Linked Data;Direct Limits of EMV-Algebras;weighted Consistent Multi-view Discriminant Analysis in Unreliable Labeling Environment;nonlinear Manifold Learning via Graph Curvature;cross-Lingual Entity Alignment via Two-Hop Neighbour Sampling and Distinguishable Relation Embedding;GRU-Attention Interpretable Knowledge Tracking Model with Forgetting Law for Intelligent Education System;a Multi-Label Feature Selection Method Based on Label Granulation;regularized Loose Coupled Deep Non-negative Basis Matrix Factorization for Low-Resolution Face Image Recognition;CDFSIP Feature Selection Algorithm Based on ADA-DPC;person Re-identification Based on Fusion of Shared Feature Branches;granular Computing Measures for the Classical Formal Concepts and Intuitionistic Fuzzy Formal Concepts;fine-Grained Mushroom Image Classification by Resnet Combined with Attention Mechanism;link Prediction Based on Pairwise Proximity Preserving Graph Neural Networks;hierarchical Time Series Forecasting Based on Tempo
暂无评论