Everything's Bigger in Texas: ``The Largest Math Proof Ever" ( abstract )

Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts ( abstract )

Secrecy-Preserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases ( abstract )

Optimizing Kick Trajectory: A Comparative Study ( abstract )

IVT: an 3D Agent-based Interactive Training System ( abstract )

Abduction for Learning Smart City Rules ( abstract )

Mechanizing Category Theory by Automating Free Logic in Higher-Order Logic ( abstract )

Proving God's Existence by Automating Leibniz' Algebra of Concepts ( abstract )

Iterated contraction of propositions and conditionals under the principle of conditional preservation ( abstract )

Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals ( abstract )

Reasoning Inside The Box: Deduction in Herbrand Logics ( abstract )

Open-World Probabilistic Databases ( abstract )

Object-sensitive Deep Reinforcement Learning ( abstract )

Anemic Status Prediction using Multi Layer Perceptron Neural Network Model ( abstract )

Implementation of Incremental Learning in Artificial Neural Networks ( abstract )

Improved Heuristic for Manipulation of Second-order Copeland Elections ( abstract )

Enhanced Simplified Memory-bounded A Star (SMA*+) ( abstract )

Automated Invention of Strategies and Term Orderings for Vampire ( abstract )

Improving SAT Solver Performance with Structure-based Preferential Bumping ( abstract )

Modelling Conversing Social Agents ( abstract )

Replaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems ( abstract )

Properties of Constrained Generalization Algorithms ( abstract )

A Genetic Algorithm for Truck Dispatching in Mining ( abstract )

Quantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms ( abstract )

A Modular Approach for Robot Navigation in Domestic Environments ( abstract )