Logtk : A Logic ToolKit for Automated Reasoning and Its Implementation

doi 10.29007/4z1m
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

EasyChair

Related search

A Cognitive Theory of Graphical and Linguistic Reasoning: Logic and Implementation

Cognitive Science
Cognitive PsychologyExperimentalArtificial IntelligenceCognitive Neuroscience
1995English

Separating Representation, Reasoning, and Implementation for Interaction Management: Lessons From Automated Planning

Lecture Notes in Electrical Engineering
IndustrialManufacturing Engineering
2016English

A Logic for Reasoning About Counterfactual Emotions

Artificial Intelligence
LinguisticsLanguageArtificial Intelligence
2011English

Patterns and Logic for Reasoning With Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

A Modal Logic for Reasoning About Economic Policies

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2015English

Logic-Based Reasoning Support for SBVR

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2013English

Toolkit for Automated and Rapid Discovery of Structural Variants

Methods
BiochemistryGeneticsMolecular Biology
2017English

A Modal Temporal Logic for Reasoning About Change

1983English

Goals and Benchmarks for Automated Map Reasoning

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
2000English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy