A Formalization of the Turing Test
A formally verified proof of the prime number theorem
A Foundation to Perception Computing, Logic and Automata
A Framework for Combining Defeasible Argumentation with Labeled Deduction
A Framework for Compiling Preferences in Logic Programs
A Framework for Sequential Planning in Multi-Agent Settings
A framework for the interactive resolution of multi-objective vehicle routing problems
A framework: Cluster detection and multidimensional visualization of automated data mining using intelligent agents
A Fuzzy Petri Nets Model for Computing With Words
A Fuzzy Realistic Mobility Model For Ad hoc Networks
A Game-Theoretic Analysis of Updating Sets of Probabilities
A general approach to belief change in answer set programming
A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There
A general method for deciding about logically constrained issues
A General Theory of Additive State Space Abstractions
A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints: Revised Edition that Incorporates One Correction
A Generic Global Constraint based on MDDs
A Geometric Traversal Algorithm for Reward-Uncertain MDPs
A geometry of information, I: Nerves, posets and differential forms
A Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge Bases