FLUX: A Logic Programming Method for Reasoning Agents
Formalization of Psychological Knowledge in Answer Set Programming and its Application
Formula-Based Probabilistic Inference
Foundations for Understanding and Building Conscious Systems using Stable Parallel Looped Dynamics
Foundations of the Pareto Iterated Local Search Metaheuristic
From Alife Agents to a Kingdom of N Queens
From Causal Models To Counterfactual Structures
From Cognitive Binary Logic to Cognitive Intelligent Agents
From Crater to Graph: Manual and Automated Crater Counting Techniques
From Data to Equations: Inferring the Laws governing Saturn's Ring Temperature
From decision to action : intentionality, a guide for the specification of intelligent agents' behaviour
From Feature Extraction to Classification: A multidisciplinary Approach applied to Portuguese Granites
From Machine Learning to Machine Reasoning
From RESTful Services to RDF: Connecting the Web and the Semantic Web
From Statistical Knowledge Bases to Degrees of Belief
From Texts to Structured Documents: The Case of Health Practice Guidelines
Full First-Order Sequent and Tableau Calculi With Preservation of Solutions and the Liberalized delta-Rule but Without Skolemization
Functional Brain Imaging with Multi-Objective Multi-Modal Evolutionary Optimization
Fusion for Evaluation of Image Classification in Uncertain Environments
Fusion of qualitative beliefs using DSmT