Results 1  10
of
27
CADE15  The 15th International Conference on Automated Deduction July 510, 1998, Lindau, Germany  Integration of Deductive Systems
, 1998
"... This paper highlights a project to integrate interactive and automated theorem proving in Software Verification. Its aim is to combine the advantages of the two paradigms. We focus on one particular application domain, which is deduction for the purpose of software verification. We report on the int ..."
Abstract
 Add to MetaCart
on the integration concepts, and on the experimental results with a prototype implementation. This paper is a short version of [1]. Automatic provers are very fast for the majority of the problems they can solve at all. With increasing complexity, response time increases dramatically. Beyond a certain problem size
Using CauseAndEffect Knowledge To Solve Many Previously Unsolvable Problems
"... The Explainer problem is to find explanations for the behaviors of systems that have been described by sets of causeandeffect statements. Causeandeffect statements can be used to describe a surprising large variety of different systems and situations. But it has generally been considered that th ..."
Abstract
 Add to MetaCart
that this problem is only solvable by combinatorially enumerating all conceivable explanations and testing each by deduction to see if its consequences included the behavior to be described. That is, the Explainer problem has been considered to be NPcomplete. If true, this would make the computing times completely
Model Generation Theorem Proving with
, 2000
"... Model generation theorem proving (MGTP) is a class of deduction procedures for rstorder logic that were successfully used to solve hard combinatorial problems. For some applications the representation of models in MGTP and its extension CMGTP is too redundant. ..."
Abstract
 Add to MetaCart
Model generation theorem proving (MGTP) is a class of deduction procedures for rstorder logic that were successfully used to solve hard combinatorial problems. For some applications the representation of models in MGTP and its extension CMGTP is too redundant.
Intelligent Mathematical Databases
, 1995
"... Mathematics is a new area of advanced applications for database technology. We report on our recent work constructing two prototypes of intelligent mathematical databases, and on the lessons learnt. The integration of various paradigms  relational, logic, functional, and objectoriented  in th ..."
Abstract
 Add to MetaCart
oriented  in the database, and the incorporation of the database facilities into a computer algebra system are discussed. Key Words: mathematical database, deductive database, objectoriented database, group theory, multiattribute indexing, partial match retrieval, range queries 1 Introduction Mathematics is a new area
The development of scientific reasoning skills
 Developmental Review
, 2000
"... The purpose of this article is to provide an introduction to the growing body of research on the development of scientific reasoning skills. The focus is on the reasoning and problemsolving strategies involved in experimentation and evidence evaluation. Research on strategy use in science has unde ..."
Abstract

Cited by 32 (1 self)
 Add to MetaCart
inquiry to reasoning or problemsolving situations This approach has historical roots in experimental psychology, in the body of research on reasoning and problem solving (e.g., In addition to examining the deductive components of scientific inference, Initial investigations with adults focused on a
Model Generation Theorem Proving with Finite Interval Constraints
"... . Model generation theorem proving (MGTP) is a class of deduction procedures for rstorder logic that were successfully used to solve hard combinatorial problems. For some applications the representation of models in MGTP and its extension CMGTP is too redundant. Here we suggest to extend member ..."
Abstract
 Add to MetaCart
. Model generation theorem proving (MGTP) is a class of deduction procedures for rstorder logic that were successfully used to solve hard combinatorial problems. For some applications the representation of models in MGTP and its extension CMGTP is too redundant. Here we suggest to extend
Generating Motor Behavior
, 1986
"... Problem solving has long been of interest in the study of artificial intelligence and involves two questions: (1) how a domain can be captured so that problems of interest and their solutions are expressible and (2) given a problem how can one of its solutions be found within the finite computationa ..."
Abstract
 Add to MetaCart
computational resources available, that is, how can a problem solver exhibit goodperformance. This work addresses the latter question and in particular focuses on how solutions can be efficiently generated. Our hypothesis is that good problem solving performance results from exploiting combinatorial properties
Specifying Simple Scheduling Tasks in a Reflective and Modular Architecture
, 1993
"... this paper we present a system (MILORD II) that proposes particular solutions to these problems. Incompleteness of the available knowledge may lead to make assumptions in order to carry on a deduction process, even if later on these assumptions are proved to be erroneous. Then the reasoning process ..."
Abstract

Cited by 8 (2 self)
 Add to MetaCart
this paper we present a system (MILORD II) that proposes particular solutions to these problems. Incompleteness of the available knowledge may lead to make assumptions in order to carry on a deduction process, even if later on these assumptions are proved to be erroneous. Then the reasoning process
AN HYBRID APPROACH TO REAL COMPLEX SYSTEM OPTIMIZATION Application to satellite constellation design
"... Keywords: This paper presents some considerations about hybrid optimization algorithms useful to optimize real complex system. The given indication could be used by readers to conceive hybrid algorithms. These considerations have been deducted from a concrete application case: the satellites constel ..."
Abstract
 Add to MetaCart
constellations design problem. But each of the advanced techniques proposed in this paper are considered in a more general way to solve other problems. This problem is used to illustrate the techniques along the paper because it is grouping many characteristics (difficulties) of contemporary real complex systems
unknown title
"... Web Application Development is a challenging course with rich contents covered in a short time. In this paper, we discuss the author's efforts in helping students learn effectively and complete this course 328 328 328 328 328 a student must master a minimal set of techniques, and it is rich. A ..."
Abstract
 Add to MetaCart
requires clientside scripting, serverside scripting and accessing database. This makes the course featured with all the challenges of a programming course, which includes problem solving, abstraction, deduction, comprehension, reading, writing, creativity, composition and understanding of the business
Results 1  10
of
27