Experimenting with power default reasoning
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Verifying security protocols as planning in logic programming
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Introduction to logic-based artificial intelligence
Logic-based artificial intelligence
Declarative problem-solving using the DLV system
Logic-based artificial intelligence
The role of default logic in knowledge representation
Logic-based artificial intelligence
Reasoning agents in dynamic domains
Logic-based artificial intelligence
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
Fixed-parameter complexity in AI and nonmonotonic reasoning
Artificial Intelligence
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence
Tabling for non-monotonic programming
Annals of Mathematics and Artificial Intelligence
Using clausal deductive databases for defining semantics in disjunctive deductive databases
Annals of Mathematics and Artificial Intelligence
Resolution for Skeptical Stable Model Semantics
Journal of Automated Reasoning
Nonmonotonic Logic Programming
IEEE Transactions on Knowledge and Data Engineering
Planning, reasoning, and agents for non-visual navigation of tables and frames
Proceedings of the fifth international ACM conference on Assistive technologies
On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
Evolving Multi-agent Viewpoints - an Architecture
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Experiments in Parallel Execution of Answer Set Programs
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Developing a Declarative Rule Language for Applications in Product Configuration
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
An A-Prolog Decision Support System for the Space Shuttle
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Construction and Optimization of a Parallel Engine for Answer Set Programming
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Non-monotonic Reasoning on Beowulf Platforms
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Disjunctive Logic Programming: A Survey and Assessment
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Abduction in Logic Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Multiagent Compromises, Joint Fixpoints, and Stable Models
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Planning Attacks to Security Protocols: Case Studies in Logic Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Representing Knowledge in A-Prolog
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
A Compilation of Brewka and Eiter's Approach to Prioritization
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Reasoning about Actions in Prioritized Default Theory
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
The USA-Advisor: A Case Study in Answer Set Programming
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
plp: A Generic Compiler for Ordered Logic Programs
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
NoMoRe: A System for Non-Monotonic Reasoning under Answer Set Semantics
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
psmodels: Stable Models Based on Pertinence
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Improving ASP Instantiators by Join-Ordering Methods
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
New Generation Systems for Non-monotonic Reasoning
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Prototypes for Reasoning with Infinite Stable Models and Function Symbols
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Diagnosing Physical Systems in A-Prolog
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Pushing Goal Derivation in DLP Computations
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Stable Model Semantics of Weight Constraint Rules
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
How to Reason Credulously and Skeptically within a Single Extension
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Computing Equilibrium Models Using Signed Formulas
CL '00 Proceedings of the First International Conference on Computational Logic
ILP '01 Proceedings of the 11th International Conference on Inductive Logic Programming
MINERVA - A Dynamic Logic Programming Agent Architecture
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
NoMoRe: A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams
CL '00 Proceedings of the First International Conference on Computational Logic
Logic programming with ordered disjunction
Eighteenth national conference on Artificial intelligence
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
How to fake an RSA signature by encoding modular root finding as a SAT problem
Discrete Applied Mathematics - The renesse issue on satisfiability
Enhancing disjunctive logic programming systems by SAT checkers
Artificial Intelligence
Towards a general theory of topological maps
Artificial Intelligence
Introduction to the special issue on Programming with answer sets
Theory and Practice of Logic Programming
Diagnostic reasoning with A-Prolog
Theory and Practice of Logic Programming
On the expressibility of stable logic programming
Theory and Practice of Logic Programming
A framework for compiling preferences in logic programs
Theory and Practice of Logic Programming
Abduction in well-founded semantics and generalized stable models via tabled dual programs
Theory and Practice of Logic Programming
Reasoning with infinite stable models
Artificial Intelligence
Extending Answer Sets for Logic Programming Agents
Annals of Mathematics and Artificial Intelligence
Abductive logic programs with penalization: semantics, complexity and implementation
Theory and Practice of Logic Programming
Optimization of bound disjunctive queries with constraints
Theory and Practice of Logic Programming
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Issues in parallel execution of non-monotonic reasoning systems
Parallel Computing
Journal of Parallel and Distributed Computing
Pruning Operators for Disjunctive Logic Programming Systems
Fundamenta Informaticae
Verification of bounded Petri nets using integer programming
Formal Methods in System Design
Outlier detection by logic programming
ACM Transactions on Computational Logic (TOCL)
Experimenting with recursive queries in database and logic programming systems
Theory and Practice of Logic Programming
Logic programs with monotone abstract constraint atoms*
Theory and Practice of Logic Programming
Enhancing DLV instantiator by backjumping techniques
Annals of Mathematics and Artificial Intelligence
An ASP-based approach to dealing with agent perception failure
AI Communications
Experimenting with parallelism for the instantiation of ASP programs
Journal of Algorithms
Outlier detection using default reasoning
Artificial Intelligence
System Description: E- KRHyper
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Syntactic Propositional Belief Bases Fusion with Removed Sets
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Business Driven SOA Customization
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Snapshot Generation in a Constructive Object-Oriented Modeling Language
Logic-Based Program Synthesis and Transformation
Goals in conflict: semantic foundations of goals in agent programming
Autonomous Agents and Multi-Agent Systems
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Composing Normal Programs with Function Symbols
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
An Implementation of Extended P-Log Using XASP
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
On Preferring and Inspecting Abductive Models
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Layered Models Top-Down Querying of Normal Logic Programs
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
On finitely recursive programs1
Theory and Practice of Logic Programming
Justifications for logic programs under answer set semantics
Theory and Practice of Logic Programming
Probabilistic reasoning with answer sets
Theory and Practice of Logic Programming
Computing Argumentation Semantics in Answer Set Programming
New Frontiers in Artificial Intelligence
Integrating answer set programming and constraint logic programming
Annals of Mathematics and Artificial Intelligence
Logic Programs with Multiple Chances
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Removed Sets Fusion: Performing Off The Shelf
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Merging Belief Bases Represented by Logic Programs
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Logic programs with abstract constraint atoms
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Answer Set Programming with Constraints Using Lazy Grounding
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
What Next for ASP? (A Not-Entirely-Well-Informed Opinion)
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
The Second Answer Set Programming Competition
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Reasoning about intended actions
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Mapping problem-space to solution-space features: a feature interaction approach
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A logical account of causal and topological maps
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Graph theoretical characterization and computation of answer sets
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols
ACM Transactions on Computational Logic (TOCL)
Activity recognition with intended actions
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Computer Languages, Systems and Structures
Intention Recognition via Causal Bayes Networks Plus Plan Generation
EPIA '09 Proceedings of the 14th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Forwarding Credible Information in Multi-agent Systems
KSEM '09 Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management
Nonmonotonic Trust Management for P2P Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
A parallel ASP instantiator based on DLV
Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming
Logic programs with abstract constraint atoms: The role of computations
Artificial Intelligence
Actions Over a Constructive Semantics for Description Logics
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
GASP: Answer Set Programming with Lazy Grounding
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
Theory and Practice of Logic Programming
The first answer set programming system competition
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
The LP-OD system: logic programming meets outlier detection
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Using answer sets to solve belief change problems
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Programming applications in CIFF
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Answer set programming for representing and reasoning about virtual institutions
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
A four-valued logic for rough set-like approximate reasoning
Transactions on rough sets VI
AceRules: executing rules in controlled natural language
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Implementing knowledge update sequences
MICAI'07 Proceedings of the artificial intelligence 6th Mexican international conference on Advances in artificial intelligence
ICLP'07 Proceedings of the 23rd international conference on Logic programming
On finitely recursive programs
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Answer-set programming based dynamic user modeling for recommender systems
EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
Embedding landmarks and scenes in a computational model of institutions
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
Evaluation of virtual agents utilizing theory of mind in a real time action game
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
A decidable subclass of finitary programs
Theory and Practice of Logic Programming
MWeb: A principled framework for modular web rule bases and its semantics
ACM Transactions on Computational Logic (TOCL)
Integration of an answer set engine to smart-M3
ruSMART/NEW2AN'10 Proceedings of the Third conference on Smart Spaces and next generation wired, and 10th international conference on Wireless networking
dl2asp: implementing default logic via answer set programming
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem
Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Non-Markovian control in the Situation Calculus
Artificial Intelligence
InstQL: a query language for virtual institutions using answer set programming
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
Automatic music composition using answer set programming
Theory and Practice of Logic Programming
Inspecting side-effects of abduction in logic programs
Logic programming, knowledge representation, and nonmonotonic reasoning
Applications of answer set programming in phylogenetic systematics
Logic programming, knowledge representation, and nonmonotonic reasoning
ASTREA: answer sets for a trusted reasoning environment for agents
Logic programming, knowledge representation, and nonmonotonic reasoning
Homage to Michael Gelfond on his 65th birthday
Logic programming, knowledge representation, and nonmonotonic reasoning
Stable model implementation of layer supported models by program transformation
INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
Elder care via intention recognition and evolution prospection
INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
Norm refinement and design through inductive learning
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
Using a normative framework to explore the prototyping of wireless grids
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
Database foundations for scalable RDF processing
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Detecting and repairing anomalous evolutions in noisy environments
Annals of Mathematics and Artificial Intelligence
Logic programming and uncertainty
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Towards an integration of answer set and constraint solving
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Preferences in answer set programming
CAEPIA'05 Proceedings of the 11th Spanish association conference on Current Topics in Artificial Intelligence
LAIMA: a multi-agent platform using ordered choice logic programming
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
TOAST: applying answer set programming to superoptimisation
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Macros, macro calls and use of ensembles in modular answer set programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Dually structured concepts in the semantic web: answer set programming approach
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Qualitative model of game theory
MDAI'05 Proceedings of the Second international conference on Modeling Decisions for Artificial Intelligence
Belief revision of GIS systems: the results of REV!GIS
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A framework for reasoning with rough sets
Transactions on Rough Sets IV
Merging and aligning ontologies in dl-programs
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Specifying and analysing agent-based social institutions using answer set programming
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Datalog for security, privacy and trust
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Flexible security deployment in smart spaces
GPC'11 Proceedings of the 6th international conference on Grid and Pervasive Computing
Toward question answering in travel domains
Correct Reasoning
Actions Over a Constructive Semantics for Description Logics
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
GASP: Answer Set Programming with Lazy Grounding
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
Pruning Operators for Disjunctive Logic Programming Systems
Fundamenta Informaticae
Goal-directed execution of answer set programs
Proceedings of the 14th symposium on Principles and practice of declarative programming
τε2asp: implementing τε via answer set programming
PRICAI'12 Proceedings of the 12th Pacific Rim international conference on Trends in Artificial Intelligence
A system for the use of answer set programming in reinforcement learning
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Annotating answer-set programs in lana*
Theory and Practice of Logic Programming
Reasoning about conditional constraint specification problems and feature models
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
A framework for modular ERDF ontologies
Annals of Mathematics and Artificial Intelligence
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Search methods for tile sets in patterned DNA self-assembly
Journal of Computer and System Sciences
Using possibilistic logic for modeling qualitative decision: Answer Set Programming algorithms
International Journal of Approximate Reasoning
Hi-index | 0.00 |