Results 241 to 250 of about 2,335,361 (286)
Some of the next articles are maybe not open access.
Semantical Analysis of Logic of Actions
Journal of Logic and Computation, 1995Summary: It is shown that the validity questions in propositional temporal logic of actions can be translated into validity questions of a temporal logic and vice versa. In particular, actions of propositional temporal logic of actions can be equivalently replaced by propositional symbols.
Michael L. Tiomkin, Michael Kaminski
openaire +1 more source
Bio-Logics: Logical Analysis of Bioregulatory Networks
2013We discuss different ways of applying logic to analyze the structure and dynamics of regulatory networks in molecular biology. First, the structure of a bioregulatory network may be described naturally using propositional or multi-valued logic. Second, the resulting non-deterministic dynamics may be analyzed using temporal logic and model checking ...
Alexander Bockmayr, Heike Siebert
openaire +1 more source
Influence and Responsibility: A Logical Analysis
2015We present a logical analysis of the relation between social influence and responsibility. In particular, we precisely characterise a notion of influence-based responsibility, namely, a responsibility that depends on the fact that an agent causes a primary violation by another agent.
Emiliano Lorini, SARTOR, GIOVANNI
openaire +3 more sources
The logical analysis of animal communication
Journal of Theoretical Biology, 1961Abstract An attempt has been made to describe some of the responses evoked by communication signals in certain animals and to infer the kind of information which the signals transmit. Using the methods developed by C. W. Morris 1946 for the logical analysis of human language, identiflors, designators, appraisors and prescriptors can be distinguished.
openaire +2 more sources
Journal of Philosophical Logic, 2005
Labelled sequent calculi, which internalize Kripke semantics into inference systems, are introduced for many normal modal logics such as K, T, K4, KB, S4, TB, S5 and GL. The calculi are cut-free and contraction-free and the validity of structural properties, invertibility of rules, admissibility of substitution, contraction and cut are proved ...
openaire +1 more source
Labelled sequent calculi, which internalize Kripke semantics into inference systems, are introduced for many normal modal logics such as K, T, K4, KB, S4, TB, S5 and GL. The calculi are cut-free and contraction-free and the validity of structural properties, invertibility of rules, admissibility of substitution, contraction and cut are proved ...
openaire +1 more source
Proceedings of the AAAI Conference on Artificial Intelligence
The card game Hanabi has recently gained popularity as a benchmark for handling epistemic reasoning in AI systems. However it has until now mostly been approached through the lens of machine learning rather than formal logical analysis. This is mostly due to the fact that modeling Hanabi in the standard epistemic logic DEL is untractable. In this paper
openaire +1 more source
The card game Hanabi has recently gained popularity as a benchmark for handling epistemic reasoning in AI systems. However it has until now mostly been approached through the lens of machine learning rather than formal logical analysis. This is mostly due to the fact that modeling Hanabi in the standard epistemic logic DEL is untractable. In this paper
openaire +1 more source
Administration & Society, 2007
Public policies are replete with category structures meant to sort and count target populations. This article analyzes categories for HIV risk exposure of U.S. federal policy beneficiaries. Close examination of the category scheme reveals that the categories are not perfectly logical or consistent.
openaire +1 more source
Public policies are replete with category structures meant to sort and count target populations. This article analyzes categories for HIV risk exposure of U.S. federal policy beneficiaries. Close examination of the category scheme reveals that the categories are not perfectly logical or consistent.
openaire +1 more source
A LOGICAL ANALYSIS OF RULE INCONSISTENCY
International Journal of Semantic Computing, 2011Representing knowledge in a rule-based system takes place by means of "if…then…" statements. These are called production rules for the reason that new information is produced when the rule fires. The logic attached to rule-based systems is taken to be classical inasmuch as "if…then…" is encoded by material implication.
openaire +1 more source
2003
This volume comprises articles from four outstanding researchers who work at the cusp of analysis and logic. The emphasis is on active research topics; many results are presented that have not been published before and open problems are formulated. Considerable effort has been made by the authors to integrate their articles and make them accessible to ...
Henson, C. Ward +3 more
openaire +2 more sources
This volume comprises articles from four outstanding researchers who work at the cusp of analysis and logic. The emphasis is on active research topics; many results are presented that have not been published before and open problems are formulated. Considerable effort has been made by the authors to integrate their articles and make them accessible to ...
Henson, C. Ward +3 more
openaire +2 more sources
Logical Analysis of Biological Data
2021Maschinelle Lernverfahren und Modelle sind für die Analyse und Interpretation großer Datensätze im biomedizinischen Bereich unverzichtbar geworden. In dieser Arbeit befassen wir uns mit der Logischen Analyse von Daten (LAD), einer Methode für maschinelles Lernen.
openaire +2 more sources