Reasoning With Computer Code: A New Mathematical Logic

Journal of Artificial General Intelligence
doi 10.2478/v10229-011-0020-6
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Walter de Gruyter GmbH

Related search

Description Logic Reasoning With Decision Diagrams

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Patterns and Logic for Reasoning With Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

REASONING WITH THE FUZZY DESCRIPTION LOGIC fZSI

2010English

Reasoning With Partially Ordered Information in a Possibilistic Logic Framework

Fuzzy Sets and Systems
Artificial IntelligenceLogic
2004English

A Logic for Reasoning About Counterfactual Emotions

Artificial Intelligence
LinguisticsLanguageArtificial Intelligence
2011English

Tac2d: A General Purpose Two-Dimensional Heat Transfer Computer Code. Mathematical Formulations and Programmer's Guide.

1969English

A Modal Logic for Reasoning About Economic Policies

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2015English

Archive for Mathematical Logic

Archive for Mathematical Logic
PhilosophyLogic
English

Regulatory Technology: Replacing Law With Computer Code

European Business Organization Law Review
LawInternational RelationsBusinessPolitical ScienceInternational Management
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy