Titlebook: Logics in Artificial Intelligence; European Workshop, J Jürgen Dix,Luís Fariñas Cerro,Ulrich Furbach Conference proceedings 1998 Springer-V

呻吟

书目名称Logics in Artificial Intelligence影响因子(影响力)




书目名称Logics in Artificial Intelligence影响因子(影响力)学科排名




书目名称Logics in Artificial Intelligence网络公开度




书目名称Logics in Artificial Intelligence网络公开度学科排名




书目名称Logics in Artificial Intelligence被引频次




书目名称Logics in Artificial Intelligence被引频次学科排名




书目名称Logics in Artificial Intelligence年度引用




书目名称Logics in Artificial Intelligence年度引用学科排名




书目名称Logics in Artificial Intelligence读者反馈




书目名称Logics in Artificial Intelligence读者反馈学科排名

分离

Disjunctive Logic Program = Horn Program + Control Programintroduce a program transformation which transforms a disjunctive logic program into a Horn program and a so called control program. The control program consists of only disjunctions of new propositional atoms and controls the “execution” of the Horn program. The relationship between original and tr

AVERT

Semantics of Partial-Order Programsind of problems, in particular optimization problems. In this paper we present some more examples that we can model using partial-order clauses and we also introduce its Fix-Point semantics. We show that this paradigm and standard logic programming can be naturally integrated in one paradigm. We als

zonules

Persistence and Minimality in Epistemic Logicecially relevant under epistemic interpretations of an operator. Relative to a modal system ., we give three characterizations of minimality of a formula . and give conditions under which these characterizations are equivalent. We then argue that rather than using bisimulations, it is more appropria

Panacea

Prohairetic Deontic Logic (PDL) is true if (1) no ¬.∧. state is as preferable as an .∧. state and (2) the preferred . states are . states. We show that the different elements of this mixed representation solve different problems of deontic logic. The first part of the definition is used to formalize contrary-to-duty reasoning, th

Acupressure

Phased Labeled Logics of Conditional Goalsstriction discussed in this paper is that a proof rule can be blocked in a derivation due to the fact that another proof rule has been applied earlier in the derivation. We call a set of proof rules that can be applied in any order a phase in the proof theory. We propose a one-phase logic of goals c

设想

Analysis of Distributed-Search Contraction-Based Strategieslel search the bounded-search-spaces approach to the measurement of infinite search spaces, capturing both the advantages of parallelization, e.g., the subdivision of work, and its disadvantages, e.g., the cost of communication, in terms of search space. These tools are applied to compare the search

不能强迫我

A Deduction Method Complete for Refutation and Finite Satisfiability complete but also complete for finite satisfiability. A novel deduction method is introduced for such applications. Instead of relying on Skolemization, as most refutation methods do, the proposed method processes existential quantifiers in a special manner which makes it complete not only for refu

electrolyte

Requirement-Based Cooperative Theorem Provingme problems arising from the use of common success-driven cooperation methods, and we propose the application of our approach of requirement-based cooperative theorem proving. This approach aims to allowing more orientation on current needs of provers in comparison with conventional cooperation conc

贝雷帽