A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is `application/pdf`

.

## Filters

##
###
Automated reasoning

1992
*
IEEE potentials
*

utomated

doi:10.1109/45.207134
fatcat:263mynkay5h4jfsv6nuzh2my3u
*reasoning*A valuable tool in validating our work*Automated**reasoning*is the attempt to prove statements with a computer in a law-like way. ...*Automated**reasoning*requires a very precise representation for the expressions being*reasoned*over. One such representation is the first-order predicate calculus. ...##
###
Automated Reasoning Building Blocks
[chapter]

2015
*
Lecture Notes in Computer Science
*

Combination x > 0 ¬P 2 (n, x, y ) ∨ P 3 (n, x, y ) x ≤ 0 ¬P 2 (n, x, y ) ∨ P 6 (n, x, y ) z = n + y ¬P 3 (n, x, y ) ∨ P 4 (z, x, y ) z = x − 1 ¬P 4 (n, x, y ) ∨ P 5 (n, z, y )
Expressive Logic & Difficult

doi:10.1007/978-3-319-23506-6_12
fatcat:p25hkbcxhvhgtfyylhdq44544i
*Automation*... September 21, 2015 50/54 Motivation Propositional*Reasoning*Be Small Implementing CDCL September 21, 2015 51/54 Motivation Propositional*Reasoning*Summary Propositional Superposition ...##
###
Automated Reasoning in Geometry
[chapter]

2001
*
Handbook of Automated Reasoning
*

In our point of view, this is not an

doi:10.1016/b978-044450813-3/50013-8
fatcat:5w3am3jahbbe3ovoiygaj5ircq
*automated*process. ... In particular, we give an*automated*derivation of Newton's square inverse gravitational law from Kepler's laws in the sense that the formula representing Newton's law occurs as the first element of the ...##
###
Automated reasoning-alternative methods

2004
*
Serbian Journal of Electrical Engineering
*

We are particularly interested in applications of this method in

doi:10.2298/sjee0403015p
fatcat:7epgwh6bajgjndqhovi24ddlje
*automated*theorem proving. ... For the application of the method of quantifier elimination in decidability and*automated*theorem proving, see for example [2] , [3] and [4] . ...##
###
Theory-Specific Automated Reasoning
[chapter]

2010
*
Lecture Notes in Computer Science
*

been partially funded by PRIN 2006 project 'Large-scale development of certified mathematical proofs', by PRIN 2008 project 'Innovative and multi-disciplinary approaches for constraint and preference

doi:10.1007/978-3-642-14309-0_3
fatcat:4yubeyj6nzevtn7orc24x5cpyi
*reasoning*... of the field of*automated*deductive*reasoning*. ... Proof-Engineering and*Automated**Reasoning*in Logic Leibniz's classic bipartition of logic, into a calculus for*reasoning*and an ideography of concepts, still today retains some influence on the organization ...##
###
POLITICS: Automated Ideological Reasoning*

1978
*
Cognitive Science
*

InputQ:
POLITICS:

doi:10.1207/s15516709cog0201_3
fatcat:qxstw2rqjfd6phzvkerju63ohu
*AUTOMATED*IDEOLOGICAL*REASONING*... Downloaded By: [Carnegie Mellon University] At: 21:22 3 July 2008 POLITICS:*AUTOMATED*IDEOLOGICAL*REASONING*39 A THE UNITED STATES CONGRESS FEARED FALLlNG BEHIND IN THE ARMS RACE. (2) Q: What will Russia ... Comparing the memory POLITICS:*AUTOMATED*IDEOLOGICAL*REASONING*5 1 ...##
###
Consciousness and Automated Reasoning
[article]

2020
*
arXiv
*
pre-print

These will be applied to the

arXiv:2001.09442v3
fatcat:oh3633nrknf6nkrmdi7ocvvrki
*reasoning*system Hyper with ConceptNet as a knowledge base within a scenario of commonsense and cognitive*reasoning*. ... This paper aims at demonstrating how a first-order logic*reasoning*system in combination with a large knowledge base can be understood as an artificial consciousness system. ...*Automated**Reasoning*and GWT In the CoRg project, we tackle commonsense*reasoning*benchmarks like the Choice of Plausible Alternatives (COPA) Challenge [25] with the help of*automated**reasoning*. ...##
###
Automated reasoning about machines

1995
*
Artificial Intelligence
*

I describe algorithms which

doi:10.1016/0004-3702(94)00003-j
fatcat:o4gvji2jmza3pb5yyxctumqq7q
*automate*the kinematic and dynamical analysis needed to create behavioral models and which*automate*the intelligent control of computational simulations needed to understand ...*Automating*this process requires basic artificial intelligence research in both spatial*reasoning*and*reasoning*about physical systems. ... Both outputs are shown in [ 151. ) My*automated*modeling algorithms are presented in Section 2. ...##
###
Automated Reasoning and Learning for Automated Payroll Management

2021
*
AAAI Conference on Artificial Intelligence
*

In the rest of this section, we will briefly outline the

dblp:conf/aaai/DumancicMGSHD21
fatcat:gjwm3fifvvezxeai6yuyqpjsfm
*reasons*why it is so. The first*reason*concerns search procedures. ... The second*reason*concerns the support for decimal numbers. ...##
###
Automated reasoning about cubic curves

1995
*
Computers and Mathematics with Applications
*

It is well known that the n-ary morphisms defined on projective algebraic curves satisfy some strong local-to-global equational rules of derivation not satisfied in general by universal algebras. For example, every rationally defined group law on a cubic curve must be commutative. Here, we extract from the geometry of curves a first-order property (gL) satisfied by all morphisms defined on these curves such that the equational consequences known for projective curves can be derived

doi:10.1016/0898-1221(94)00214-6
fatcat:x7lw7eqtpjcwfoign2rqg6eqli
## more »

... from a set of six rules (stated within the first-order logic with equality). First, the rule (gL) is implemented in the theorem-proving program OTTER. Then, we use OTTER to automatically prove some incidence theorems on projective curves without any further reference to the underlying geometry or topology of the curves.##
###
Automated Reasoning in Deontic Logic
[chapter]

2014
*
Lecture Notes in Computer Science
*

Various kinds of deontic logics are discussed for different application domains like argumentation theory, legal

doi:10.1007/978-3-319-13365-2_6
fatcat:wxaeehpamfbblabkewprqwg5j4
*reasoning*, and acts in multi-agent systems. ... This paper concentrates on*automated**reasoning*in standard deontic logic (SDL). Instead of implementing a*reasoning*system for this logic directly, we rather rely on existing methods and systems. ...*Automated**Reasoning*for Deontic Logic Deontic logic is the logic of choice when formalizing knowledge about norms like the representation of legal knowledge. ...##
###
The Flowering of Automated Reasoning
[chapter]

2005
*
Lecture Notes in Computer Science
*

This article celebrates with obvious joy the role

doi:10.1007/978-3-540-32254-2_13
fatcat:p5hhow7whnevtfjmw4imhoakm4
*automated**reasoning*now plays for mathematics and logic. ... Indeed, today (in the year 2001) a researcher can enlist the aid of an*automated**reasoning*program often with the reward of a new proof or a better proof in some signi cant aspect. ... He had become interested in*automated**reasoning*, so he informed me, because of reading my book entitled The*Automation*of*Reasoning*: An Experimenter's Notebook and OTTER Tutorial. ...##
###
Can We Automate Diagrammatic Reasoning?

2020
*
Pattern Recognition
*

Diagrammatic

doi:10.1016/j.patcog.2020.107412
fatcat:thuk3hnvarfp7ama2u55oeanay
*reasoning*(DR) problems are well known. ... These methods aim to model the rules to*automate*the solving process. Such methods are not learning-based methods. ... Introduction Abstract*reasoning*or diagrammatic*reasoning*requires visual representations of objects or diagrams. ...##
###
Automated Reasoning for Robot Ethics
[article]

2015
*
arXiv
*
pre-print

Various kinds of deontic logics are considered for different application domains like argumentation theory, legal

arXiv:1502.05838v1
fatcat:rdfymvzsbbf55e6mf6xs73yjpm
*reasoning*, and acts in multi-agent systems. ... This paper applies*automated**reasoning*in standard deontic logic (SDL) to a problem in multi-agent systems. For this, we follow the example from [5] where*reasoning*with ethical codes is presented. ... These concepts can be checked automatically by*automated*theorem provers. ...##
###
Automated Reasoning on Feature Models
[chapter]

2013
*
Seminal Contributions to Information Systems Engineering
*

In this paper we introduce a proposal to model and

doi:10.1007/978-3-642-36926-1_29
fatcat:gz3kgcuyvrgezexe5flwoc344q
*reason*on an SPL using constraint programming. ... Most of the current proposals for automatic*reasoning*on SPL are not devised to cope with extrafunctional features. ...*Automated**reasoning*is an ever challenging field in SPL engineering [18, 23] . ...
« Previous

*Showing results 1 — 15 out of 1,038,383 results*