A Distributed AI Aided 3D Domino Game
A Distributed Process Infrastructure for a Distributed Data Structure
A Dynamic Vulnerability Map to Assess the Risk of Road Network Traffic Utilization
A Dynamical Systems Approach for Static Evaluation in Go
A Fast Algorithm and Datalog Inexpressibility for Temporal Reasoning
A First Approach on Modelling Staff Proactiveness in Retail Simulation Models
A first-order Temporal Logic for Actions
A flexible framework for defeasible logics
A Formal Approach to Modeling the Memory of a Living Organism
A Formal Measure of Machine Intelligence
A formalism for causal explanations with an Answer Set Programming translation
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