Sciweavers

868 search results - page 8 / 174
» Alternative Essences of Intelligence
Sort
View
AI
2000
Springer
14 years 11 months ago
Alternative foundations for Reiter's default logic
We introduce an alternative conceptual basis for default reasoning in Reiter's default logic. In fact, most formal or computational treatments of default logic suffer from th...
Thomas Linke, Torsten Schaub
WLP
2004
Springer
15 years 5 months ago
Solving Alternating Boolean Equation Systems in Answer Set Programming
Abstract. In this paper we apply answer set programming to solve alternating Boolean equation systems. We develop a novel characterization of solutions for variables in disjunctive...
Misa Keinänen, Ilkka Niemelä
CEC
2007
IEEE
15 years 6 months ago
Implicit alternative splicing for genetic algorithms
— In this paper we present a new nature-inspired variation operator for binary encodings in genetic algorithms (GAs). Our method, called implicit alternative splicing (iAS), is r...
Philipp Rohlfshagen, John A. Bullinaria
AAAI
2007
15 years 2 months ago
Action-Based Alternating Transition Systems for Arguments about Action
This paper presents a formalism to describe practical reasoning in terms of an Action-based Alternating Transition System (AATS). The starting point is a previously specified acc...
Katie Atkinson, Trevor J. M. Bench-Capon
CEC
2011
IEEE
13 years 11 months ago
Comparing alternative energy functions for the HP model of protein structure prediction
Abstract—Protein structure prediction is the problem of finding the functional conformation of a protein given only its amino uence. The HP lattice model is an abstract formulat...
Mario Garza-Fabre, Eduardo Rodriguez-Tello, Gregor...