Search Results - "Theory of computation Logic Modal and temporal logics"

Argument parsing via corpus queries.

Authors: Dykes, Natalie Evert, Stefan Göttlinger, Merlin et al.

Source: IT: Information Technology; Feb2021, Vol. 63 Issue 1, p31-44, 14p

Subject Terms: BREXIT Referendum, 2016, CORPORA, ARGUMENT, NATURAL language processing, INFORMATION storage & retrieval systems, MODAL logic

Diagnostics as a Reasoning Process: From Logic Structure to Software Design.

Authors: Cristani, Matteo Olivieri, Francesco Tomazzoli, Claudio et al.

Source: Journal of Computing & Information Technology; 2019, Vol. 27 Issue 1, p43-57, 15p

Subject Terms: DESIGN software, DECISION making, LOGIC, ARTIFICIAL intelligence, WEB-based user interfaces

A DECIDABLE WEAKENING OF COMPASS LOGIC BASED ON CONE-SHAPED CARDINAL DIRECTIONS.

Authors: MONTANARI, ANGELO PUPPIS, GABRIELE SALA, PIETRO

Source: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 4, p1-32, 32p

Subject Terms: CARDINAL points, MODAL logic, MATHEMATICAL formulas, MATHEMATICAL proofs, INTERVAL analysis

DETECTING UNREALIZABILITY OF DISTRIBUTED FAULT-TOLERANT SYSTEMS.

Authors: FINKBEINER, BERND TENTRUP, LEANDER

Source: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 3, p1-31, 31p

Subject Terms: ERROR analysis in mathematics, MATHEMATICAL analysis, MATHEMATICAL logic, MATHEMATICAL functions, MATHEMATICAL models

The linear-hyper-branching spectrum of temporal logics.

Authors: Finkbeiner, Bernd Rabe, Markus N.

Source: IT: Information Technology; Dec2014, Vol. 56 Issue 6, p273-279, 7p

Subject Terms: COMPUTER security, MODAL logic, TECHNICAL specifications, LINEAR time invariant systems, BISIMULATION

PROBABILITY LOGIC FOR HARSANYI TYPE SPACES.

Authors: CHUNLAI ZHOU

Source: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 2, p1-35, 35p

Subject Terms: PROBABILITY theory, MATHEMATICAL proofs, GENERALIZATION, DEFINABILITY theory (Mathematical logic), MATHEMATICAL logic

GLOBAL NUMERICAL CONSTRAINTS ON TREES.

Authors: BÁRCENAS, EVERARDO LAVALLE, JESÚS

Source: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 2, p1-28, 28p

Subject Terms: NUMERICAL analysis, TREE graphs, MATHEMATICAL formulas, XML (Extensible Markup Language), CONSTRAINT satisfaction

A PROOF OF KAMP'S THEOREM.

Authors: RABINOVICH, ALEXANDER

Source: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 1, p1-16, 16p

Subject Terms: MATHEMATICAL proofs, MATHEMATICS theorems, MONADS (Mathematics), COMPLETENESS theorem, LOGIC

EPISTEMIC UPDATES ON ALGEBRAS.

Authors: KURZ, ALEXANDER PALMIGIANO, ALESSANDRA

Source: Logical Methods in Computer Science (LMCS); 2013, Vol. 9 Issue 4, p1-28, 28p

Subject Terms: EPISTEMIC logic, ALGEBRA, DUALITY theory (Mathematics), OPERATOR theory, MATHEMATICAL complex analysis, INTUITIONISTIC mathematics, SEMANTICS

THE DEGREE STRUCTURE OF WEIHRAUCH REDUCIBILITY.

Authors: HIGUCHI, KOJIRO PAULY, ARNO

Source: Logical Methods in Computer Science (LMCS); Apr2013, Vol. 9 Issue 2, p1-17, 17p

Subject Terms: HEYTING algebras, LATTICE theory, EMBEDDINGS (Mathematics), CONTINUOUS functions, PROOF theory, ALGEBRAIC logic

BISIMULATIONS MEET PCTL EQUIVALENCES FOR PROBABILISTIC AUTOMATA.

Authors: LEI SONG LIJUN ZHANG GODSKESEN, JENS CHR. et al.

Source: Logical Methods in Computer Science (LMCS); Apr2013, Vol. 9 Issue 2, p1-34, 34p, 6 Diagrams, 1 Chart

Development of Fuzzy Logic-Based Model for Diagnosis of Hepatitis B

Authors: Ajinaja, Micheal Williams, Kehinde

Source: Journal of Information Engineering and Applications; Vol 9, No 1 (2019); 15-22

File Description: application/pdf

Relation: https://www.iiste.org/Journals/index.php/JIEA/article/view/45976/49301; https://www.iiste.org/Journals/index.php/JIEA/article/view/45976

Availability: https://www.iiste.org/Journals/index.php/JIEA/article/view/45976