Keyword: logic

Found 17 papers in total
Propositional dynamic logic for reasoning about first-class agent interaction protocols
Propositional dynamic logic for reasoning about first-class agent interaction protocols
2011,
For agents to fulfill their potential of being intelligent and adaptive, it is useful...
Modelling either-or relations in integer programming
Modelling either-or relations in integer programming
2009,
Logical relations occur frequently in integer programming problems and are modelled by...
Logic-Based Methods for Optimization: Combining Optimization and Constraint Satisfaction
Logic-Based Methods for Optimization: Combining Optimization and Constraint Satisfaction
2002,
Logical formal description of expert systems
Logical formal description of expert systems
2002,
The objective of expert systems is the use of Artificial Intelligence tools so as to...
[0,1]-valued logic: A natural generalization of Boolean logic
[0,1]-valued logic: A natural generalization of Boolean logic
2000,
[0,1]-valued logic can be seen as a basis of decision making and reasoning...
Optimization Methods for Logical Inference
Optimization Methods for Logical Inference
2000,
Connections between integer linear programming and constraint logic programming – An overview and introduction to the cluster of articles
Connections between integer linear programming and constraint logic programming – An overview and introduction to the cluster of articles
1998,
The fields of integer linear programming and constraint logic programming have...
Properties of some combinatorial optimization problems and their effect on the performance of integer programming and constraint logic programming
Properties of some combinatorial optimization problems and their effect on the performance of integer programming and constraint logic programming
1998,
The comparative performance of Integer Programming (IP) and Constraint Logic...
A computational study of satisfiability algorithms for propositional logic
A computational study of satisfiability algorithms for propositional logic
1994,
We implement several recent algorithms for the satisfiability problem in propositional...
Logical representation of integer programming models
Logical representation of integer programming models
1996,
From the formulation point of view, the Integer Programming (IP) formulation is no...
Anticipatory Pruning Networks and forward checking in CLP over continuous domains
Anticipatory Pruning Networks and forward checking in CLP over continuous domains
1996,
In this paper, the notion of the Anticipatory Pruning Network (APN) is introduced and...
Logic applied to integer programming and integer programming applied to logic
Logic applied to integer programming and integer programming applied to logic
1995,
The many connections between the methods of Computational Logic and Integer...
Critical factors in the evolution of logic programming and Prolog
Critical factors in the evolution of logic programming and Prolog
1997,
Logic programming has received much critical attention over the past two decades from...
Constraint logic programming for qualitative and quantitative constraint satisfaction problems
Constraint logic programming for qualitative and quantitative constraint satisfaction problems
1996,
AI and Operational Research OR approaches have complementary strengths: AI in...
A linear programming framework for logics of uncertainty
A linear programming framework for logics of uncertainty
1996,
Several logics for reasoning under uncertainty distribute ‘probability...
Determining lower and upper bounds on probabilities of atomic propositions in sets of logical formulas represented by digraphs
Determining lower and upper bounds on probabilities of atomic propositions in sets of logical formulas represented by digraphs
1996,
In this paper the authors consider the problem of determining lower and upper bounds...
New methods for computing inferences in first order logic
New methods for computing inferences in first order logic
1993,
Recent improvements in satisfiability algorithms for propositional logic have made...
Papers per page: