An Application of Proof-Theory in Answer Set Programming
An application of the Threshold Accepting metaheuristic for curriculum based course timetabling
An application-oriented terminology evaluation: the case of back-of-the book indexes
An Approach to Temporal Planning and Scheduling in Domains with Predictable Exogenous Events
An approach to visualize the course of solving of a research task in humans
An Approximation of the Universal Intelligence Measure
An Architectural Approach to Ensuring Consistency in Hierarchical Execution
An architecture for the evaluation of intelligent systems
An Artificial Immune System Model for Multi-Agents Resource Sharing in Distributed Environments
An axiomatic approach to the roughness measure of rough sets
An axiomatic formalization of bounded rationality based on a utility-information equivalence
An efficient high-quality hierarchical clustering algorithm for automatic inference of software architecture from the source code of a software system
An efficient memetic, permutation-based evolutionary algorithm for real-world train timetabling
An Efficient Protocol for Negotiation over Combinatorial Domains with Incomplete Information
An Efficient Technique for Similarity Identification between Ontologies
An Empirical Study of Borda Manipulation
An Empirical Study of the Manipulability of Single Transferable Voting
An Enhanced Indexing And Ranking Technique On The Semantic Web
An Evolutionary Squeaky Wheel Optimisation Approach to Personnel Scheduling
An Evolutionary-Based Approach to Learning Multiple Decision Models from Underrepresented Data