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

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

Regulatory Technology: Replacing Law With Computer Code

European Business Organization Law Review
LawInternational RelationsBusinessPolitical ScienceInternational Management
2019English

An Introduction to Mathematical Reasoning

Mathematical Gazette
Mathematics
1973English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy