Customizing cooperative office procedures by planning
COCS '88 Proceedings of the ACM SIGOIS and IEEECS TC-OA 1988 conference on Office information systems
A plan-based intelligent assistant that supports the software development
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Issue spotting in a system for searching interpretation spaces
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Validating system requirements by functional decomposition and dynamic analysis
ICSE '89 Proceedings of the 11th international conference on Software engineering
Some computational aspects of circumscription
Journal of the ACM (JACM)
Experimental Results on Subgoal Reordering
IEEE Transactions on Computers
Representing knowledge with functions and Boolean arrays
IBM Journal of Research and Development
The consistency problem of knowledge bases
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
The physiology of PROLOG expert system inference engine
SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
ICSE '90 Proceedings of the 12th international conference on Software engineering
Extended Horn sets in propositional logic
Journal of the ACM (JACM)
Using Fuzzy Sets to Diagnose Coronary Artery Stenosis
Computer - Special issue on computer-based medical systems
Inductive modelling in law: example based expert systems in administrative law
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
A distributed, decision-theoretic control system for a mobile robot
ACM SIGART Bulletin
Using Agentsheets to create a voice dialog design environment
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
Experimental classification facilities for Smalltalk
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis
IEEE Transactions on Software Engineering - Special issue on software maintenance
The use of meta-rules in rule based legal computer systems
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Subject-oriented programming: a critique of pure objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
A theory of parameterized pattern matching: algorithms and applications
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
On solving equations and disequations
Journal of the ACM (JACM)
Agent language NUML and its reduction implementation model based on HO&pgr;
ACM SIGPLAN Notices
Programming as problem solving: a participatory theater approach
AVI '94 Proceedings of the workshop on Advanced visual interfaces
Intelligent and multi agent object level computing: the preliminary overview
ACM SIGPLAN Notices
A consideration of some approaches to course organization
ACM SIGART Bulletin
Planning-based control of interface animation
CHI '95 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Machine Learning - special issue on inductive logic programming
Generalization of Clauses Relative to a Theory
Machine Learning - special issue on inductive logic programming
Abstraction mechanisms in discrete-event inductive modeling
WSC '96 Proceedings of the 28th conference on Winter simulation
Proceedings of the 6th international conference on Artificial intelligence and law
Software agents and intelligent object fusion
ACM SIGSOFT Software Engineering Notes
A hybrid procedural/deductive executive for autonomous spacecraft
AGENTS '98 Proceedings of the second international conference on Autonomous agents
Inferring state constraints for domain-independent planning
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Automated Software Synthesis: An Application in Mechanical CAD
IEEE Transactions on Software Engineering
Software process instantiation and the planning paradigm
ISPW '90 Proceedings of the 5th international software process workshop on Experience with software process models
The SINIX Consultant – Towards a TheoreticalTreatment of Plan Recognition
Artificial Intelligence Review - special issue on intelligent help systems for Unix part II: planning and knowledge representation
Plan Realization for Complex Command Interaction in the UNIX Help Domain
Artificial Intelligence Review - special issue on intelligent help systems for Unix part II: planning and knowledge representation
ACM Computing Surveys (CSUR)
Agents teaching agents to share meaning
Proceedings of the fifth international conference on Autonomous agents
QURSED: querying and reporting semistructured data
Proceedings of the 2002 ACM SIGMOD international conference on Management of data
Two components of an action language
Annals of Mathematics and Artificial Intelligence
An ordering on subgoals for planning
Annals of Mathematics and Artificial Intelligence
Heuristics used by HERBY for semantic tree theorem proving
Annals of Mathematics and Artificial Intelligence
Introspective and elaborative processes in rational agents
Annals of Mathematics and Artificial Intelligence
Perceive this as that – Analogies, artificial perception, and category theory
Annals of Mathematics and Artificial Intelligence
A Comparative Review of Process-Centered Software Engineering Environments
Annals of Software Engineering
An Algorithm for Dual Transformation in First-Order Logic
Journal of Automated Reasoning
An SPN-Neural Planning Methodology for Coordination of two Robotic Hands with Constrained Placement
Journal of Intelligent and Robotic Systems
Q2 Symbolic Reasoning about Noisy Dynamic Systems
Journal of Intelligent and Robotic Systems
A Discrete Lagrangian-Based Global-SearchMethod for Solving Satisfiability Problems
Journal of Global Optimization
Logic and Artificial Intelligence: Divorced, Still Married, Separated...?
Minds and Machines
Consistency of the static and dynamic components of object-oriented specifications
Data & Knowledge Engineering
On the Hamming distance of constraint satisfaction problems
Theoretical Computer Science - Complexity and logic
On the complexity of data disjunctions
Theoretical Computer Science - Complexity and logic
A Hybrid Procedural/Deductive Executive for Autonomous Spacecraft
Autonomous Agents and Multi-Agent Systems
Convergence Properties of Optimization Algorithms for the SAT Problem
IEEE Transactions on Computers
IEEE Transactions on Knowledge and Data Engineering
A Computationally Tractable Nonmonotonic Logic
IEEE Transactions on Knowledge and Data Engineering
Global Optimization for Satisfiability (SAT) Problem
IEEE Transactions on Knowledge and Data Engineering
An Efficient Indefiniteness Inference Scheme in Indefinite Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
A Knowledge Model For Unifying Deductive and Non-Deductive Heterogeneous Databases
IEEE Transactions on Knowledge and Data Engineering
A Data/Knowledge Paradigm for the Modeling and Design of Operations Support Systems
IEEE Transactions on Knowledge and Data Engineering
Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas
IEEE Transactions on Knowledge and Data Engineering
Net-Based Computational Models of Knowledge-Processing Systems
IEEE Expert: Intelligent Systems and Their Applications
Modeling Domain Knowledge Using Explicit Conceptualization
IEEE Expert: Intelligent Systems and Their Applications
Machine Learning and Planning for Data Management in Forestry
IEEE Expert: Intelligent Systems and Their Applications
Distributed Repositories of Highly Expressive Reusable Ontologies
IEEE Intelligent Systems
Data-Driven Discovery of Quantitative Rules in Relational Databases
IEEE Transactions on Knowledge and Data Engineering
Reliability Measure Theory: A Nonmonotonic Semantics
IEEE Transactions on Knowledge and Data Engineering
Supporting Inheritance Mechanisms in Ontology Representation
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
Directed Automated Theorem Proving
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Intelligent Agents: The Key Concepts
Proceedings of the 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001 on Multi-Agent-Systems and Applications II-Selected Revised Papers
Temporal Relationships in Databases
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Non-Monotonic Knowledge Evolution in VLKDBs
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Knowledge Discovery in Databases: An Attribute-Oriented Approach
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
The Role of Logic in Computational Models of Legal Argument: A Critical Survey
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
Towards an Ontology of Part-of
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
On Knowledge, Strings, and Paradoxes
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Cyberoos'99: Tactical Agents in the RoboCup Simulation League
RoboCup-99: Robot Soccer World Cup III
Formal Ontology Engineering in the DOGMA Approach
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Business and Enterprise Ontology Management with SymOntoX
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
A Formal Architecture for the 3APL Agent Programming Language
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
An Ontology-Guided Approach to Content Adaptation in LEO: A Learning Environment Organizer
AH '02 Proceedings of the Second International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems
On Identifying Simple and Quantified Lattice Points in the 2SAT Polytope
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Morph Gentzen plan computation
ISTA '01 Proceedings of the 2001 international conference on Information systems technology and its applications - Volume P-2
Social theory and agent architectures: prospective issues in rapid-discovery social science
Social Science Computer Review
Intelligent Heterogeneous Multimedia and Intelligent Active Visual DB and KB
ITCC '00 Proceedings of the The International Conference on Information Technology: Coding and Computing (ITCC'00)
Process Oriented Knowledge Management
RIDE '01 Proceedings of the 11th International Workshop on research Issues in Data Engineering
Part 1: introduction to ontological engineering
New Generation Computing - Quantum computing
Learning to Share Meaning in a Multi-Agent System
Autonomous Agents and Multi-Agent Systems
The multidisciplinary combinatorial approach (MCA) and its applications in engineering
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Temporal representation of state transitions
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Computational Linguistics
Computational Linguistics
Computing with features as formulae
Computational Linguistics
Bridging the gap between planning and scheduling
The Knowledge Engineering Review
Symbolic diagnosis and its formalisation
The Knowledge Engineering Review
Biologically inspired rule-based multiset programming paradigm for soft-computing
Proceedings of the 1st conference on Computing frontiers
Managing uncertainty in moving objects databases
ACM Transactions on Database Systems (TODS)
Graphical query interfaces for semistructured data: the QURSED system
ACM Transactions on Internet Technology (TOIT)
A DAML+OIL-compliant Chinese lexical ontology
COLING '02 Proceedings of the 19th international conference on Computational linguistics - Volume 2
Encyclopedia of Computer Science
Computers and Operations Research
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
On the meta-logic of arguments
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Architectural design of a distributed application with autonomic quality requirements
DEAS '05 Proceedings of the 2005 workshop on Design and evolution of autonomic application software
A Multi-Formalism Modeling Composability Framework: Agent and Discrete-Event Models
DS-RT '05 Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications
Learning the structure of Markov logic networks
ICML '05 Proceedings of the 22nd international conference on Machine learning
Avaliação comparativa de algoritmos de personalização para direcionamento de conteúdo
CLIHC '05 Proceedings of the 2005 Latin American conference on Human-computer interaction
Machine Learning
Proceedings of the 15th international conference on World Wide Web
Automated ontology evolution in a multi-agent system
InfoScale '06 Proceedings of the 1st international conference on Scalable information systems
Science of Computer Programming - Special issue on quality system and software architectures
MIC'06 Proceedings of the 25th IASTED international conference on Modeling, indentification, and control
Collaborative diffusion: programming antiobjects
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Excuse me, I need better AI!: employing collaborative diffusion to make game AI child's play
Proceedings of the 2006 ACM SIGGRAPH symposium on Videogames
Incompletely specified probabilistic networks
Journal of Management Information Systems - Special section: Information technology and its organizational impact
Journal of Management Information Systems - Special section: Toward a theory of business process change management
Avoiding logical omniscience and perfect reasoning: a survey
AI Communications
Model-based diagnosis for open systems fault management
AI Communications
Informational logic in knowledge representation and automated deduction
AI Communications
Eye communication in a conversational 3D synthetic agent
AI Communications
Properties and mechanisms of self-organizing MANET and P2P systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Filter-based resolution principle for lattice-valued propositional logic LP(X)
Information Sciences: an International Journal
A Formal Model for Situated Multi-Agent Systems
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
A Methodology for Schema Integration Using Concept Hierarchies
Integrated Computer-Aided Engineering
The IRM4S model: the influence/reaction principle for multiagent based simulation
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Logic programs using semantic trees
ICCOMP'07 Proceedings of the 11th WSEAS International Conference on Computers
Ontology negotiation: goals, requirements and implementation
International Journal of Agent-Oriented Software Engineering
From a multi-agent simulation theory to GALATEA
Proceedings of the 2007 Summer Computer Simulation Conference
Web Intelligence and Agent Systems
Terminability and compensatibility of cycles in business processes with a process-oriented trigger
Data & Knowledge Engineering
The meta-inferences engine: A new tool to manipulate metaknowledge
Knowledge-Based Systems
Ontology negotiation in heterogeneous multi-agent systems: The ANEMONE system
Applied Ontology - Formal Ontologies for Communicating Agents
Combining Normal Communication with Ontology Alignment
Agent Communication II
ICWL '08 Proceedings of the 7th international conference on Advances in Web Based Learning
Extracting Semantic Networks from Text Via Relational Clustering
ECML PKDD '08 Proceedings of the 2008 European Conference on Machine Learning and Knowledge Discovery in Databases - Part I
A blueprint for higher-level fusion systems
Information Fusion
Recognition of interval Boolean functions
Annals of Mathematics and Artificial Intelligence
The intentional relationship of representation between the constructs of a language and reality
Data & Knowledge Engineering
A Learning Classifier System Approach to Relational Reinforcement Learning
Learning Classifier Systems
Semantic Bijectivity and the Uniqueness of Constant-Complement Updates in the Relational Context
Semantics in Data and Knowledge Bases
When Is Inconsistency Considered Harmful: Temporal Characterization of Knowledge Base Inconsistency
IDEAL '08 Proceedings of the 9th International Conference on Intelligent Data Engineering and Automated Learning
Just Add Weights: Markov Logic for the Semantic Web
Uncertainty Reasoning for the Semantic Web I
Ontology Engineering --- The DOGMA Approach
Advances in Web Semantics I
The concepts of model in information systems engineering: A proposal for an ontology of models
The Knowledge Engineering Review
Learning Markov logic network structure via hypergraph lifting
ICML '09 Proceedings of the 26th Annual International Conference on Machine Learning
ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
Limitation and Possibilities of Automation on the Way from Intention → Program
Proceedings of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05
Concept Modeling in Multidisciplinary Research Environment
Proceedings of the 2008 conference on Information Modelling and Knowledge Bases XIX
Legal Theory, Sources of Law and the Semantic Web
Proceedings of the 2009 conference on Legal Theory, Sources of Law and the Semantic Web
How to Create the Magic Wand?Currently Implementable Formulation of the Problem
Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
Algorithms and Architectures of Artificial Intelligence
Proceedings of the 2007 conference on Algorithms and Architectures of Artificial Intelligence
Structure Learning of Markov Logic Networks through Iterated Local Search
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
On Temporal Properties of Knowledge Base Inconsistency
Transactions on Computational Science V
The Ontological Level: Revisiting 30 Years of Knowledge Representation
Conceptual Modeling: Foundations and Applications
Memory-efficient inference in relational domains
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Chinese named entity recognition with cascaded hybrid model
NAACL-Short '07 Human Language Technologies 2007: The Conference of the North American Chapter of the Association for Computational Linguistics; Companion Volume, Short Papers
Axiom schemata as metalevel axioms: model theory
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Discriminative training of Markov logic networks
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Robust textual inference via learning and abductive reasoning
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
A general method for reducing the complexity of relational inference and its application to MCMC
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
On reachability, relevance, and resolution in the planning as satisfiability approach
Journal of Artificial Intelligence Research
Provably bounded-optimal agents
Journal of Artificial Intelligence Research
Argumentation: planning other agents' plans
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Incorporating redundant learned rules: a preliminary formal analysis of EBL
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Towards friendly concept-learners
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
A theory of diagnosis for incomplete causal models
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Experience learning in model-based diagnostic systems
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
A new logical framework for deductive planning
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A note on backward dual resolution and its application to proving completeness of rule-based systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
The range of applicability of nonmonotonic logics for the inertia problem
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Reducing ambiguity by learning assembly specific behaviour
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
A logical approach to reasoning by analogy
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
In defense of hyper-logicist AI
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
Computational research on interaction and agency
Artificial Intelligence
Part-whole representation and reasoning in formal biomedical ontologies
Artificial Intelligence in Medicine
An integrated discriminative probabilistic approach to information extraction
Proceedings of the 18th ACM conference on Information and knowledge management
Computer Methods and Programs in Biomedicine
Ontology RepresentationDesign Patterns and Ontologies that Make Sense
Proceedings of the 2009 conference on Ontology Representation: Design Patterns and Ontologies that Make Sense
A core ontology for requirements
Applied Ontology
Exclusive and essential sets of implicates of Boolean functions
Discrete Applied Mathematics
Generic entity resolution with negative rules
The VLDB Journal — The International Journal on Very Large Data Bases
The artificial life roots of artificial intelligence
Artificial Life
A decision support system for soil conservation planning
Computers and Electronics in Agriculture
Design Problems, Frames and Innovative Solutions
Proceedings of the 2009 conference on Design Problems, Frames and Innovative Solutions
A Rule-Based System Implementing a Method for Translating FOL Formulas into NL Sentences
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
The Case for Grounding Databases
GeoS '09 Proceedings of the 3rd International Conference on GeoSpatial Semantics
Simulating belief systems of autonomous agents
Decision Support Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Logic of agreement: Foundations, semantic system and proof theory
International Journal of Approximate Reasoning
A framework for determining design correctness
Knowledge-Based Systems
Exploiting analogical representations
Robotics and Autonomous Systems
Discovering association patterns based on mutual information
MLDM'03 Proceedings of the 3rd international conference on Machine learning and data mining in pattern recognition
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
Introduction to part III: decision support by advanced logic programming
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
Bounded transparency for automated inspection in agriculture
Computers and Electronics in Agriculture
Coping with unconsidered context of formalized knowledge
CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
Iterative software engineering for multiagent systems: the MASSIVE method
Iterative software engineering for multiagent systems: the MASSIVE method
An ontology-based framework for building adaptable knowledge management systems
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Provability-based semantic interoperability via translation graphs
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
Information-optimal reflections of view updates on relational database schemata
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Qualitative spatial reasoning with topological information
Qualitative spatial reasoning with topological information
Probabilistic inductive logic programming
Quantifying knowledge base inconsistency via fixpoint semantics
Transactions on computational science II
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Crime statistics online: potentials and challenges
Proceedings of the 11th Annual International Digital Government Research Conference on Public Administration Online: Challenges and Opportunities
Comparison of knowledge during the assembly process of learning objects
Journal of Intelligent Information Systems
A subclass of Horn CNFs optimally compressible in polynomial time
Annals of Mathematics and Artificial Intelligence
Supply chain ontology: Review, analysis and synthesis
Computers in Industry
Magic Wand Approach to Representation of Personal Technologies
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
An advanced learning and discovering system
WSEAS Transactions on Information Science and Applications
The complexity of constraint satisfaction in prolog
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Effective generalization of relational descriptions
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
The common order-theoretic structure of version spaces and ATMS's
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
A statistical approach to solving the EBL utility problem
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
RSIE: a tool dedicated to reflexive systems
ICAISC'10 Proceedings of the 10th international conference on Artifical intelligence and soft computing: Part II
XSWRL, an Extended Semantic Web Rule Language and prototype implementation
Expert Systems with Applications: An International Journal
Proof systems and transformation games
MFCS'10 Proceedings of the 35th international conference on Mathematical foundations of computer science
Boosting learning and inference in Markov logic through metaheuristics
Applied Intelligence
Interval extensions of partially defined Boolean functions
ACS'06 Proceedings of the 6th WSEAS international conference on Applied computer science
Editorial: Using OWL and SWRL to represent and reason with situation-based access control policies
Data & Knowledge Engineering
Logical formalization of multimedia interpretation
Knowledge-driven multimedia information extraction and ontology evolution
Ontology and database mapping: a survey of current implementations and future directions
Journal of Web Engineering
Onto-planning: innovation for regional development planning within EU convergence framework
ICCSA'11 Proceedings of the 2011 international conference on Computational science and its applications - Volume Part II
Online structure learning for Markov logic networks
ECML PKDD'11 Proceedings of the 2011 European conference on Machine learning and knowledge discovery in databases - Volume Part II
The HeKatE methodology. Hybrid engineering of intelligent systems
International Journal of Applied Mathematics and Computer Science - Computational Intelligence in Modern Control Systems
Semantics for probabilistic inference
UAI'92 Proceedings of the Eighth international conference on Uncertainty in artificial intelligence
Disjoint essential sets of implicates of a CQ Horn function
Annals of Mathematics and Artificial Intelligence
Toward robust real-world inference: a new perspective on explanation-based learning
ECML'06 Proceedings of the 17th European conference on Machine Learning
Incorporating semantics into GIS applications
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part I
Object role modelling for ontology engineering in the DOGMA framework
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Boolean functions with a simple certificate for CNF complexity
Discrete Applied Mathematics
On the meta-logic of arguments
ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems
Ontia iJADE: an intelligent ontology-based agent framework for semantic web service
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Formal model for ontology mapping creation
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
A design process for adaptive behavior of situated agents
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
Adaptive learning application of the MDB evolutionary cognitive architecture in physical agents
SAB'06 Proceedings of the 9th international conference on From Animals to Animats: simulation of Adaptive Behavior
Mediation enabled semantic web services usage
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Metareasoning for multi-agent epistemic logics
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
International Journal of Approximate Reasoning
Integrating free-flow architectures with role models based on statecharts
Software Engineering for Multi-Agent Systems III
Journal on Data Semantics III
ESAW'05 Proceedings of the 6th international conference on Engineering Societies in the Agents World
The design of a flexible software process language
SPW/ProSim'06 Proceedings of the 2006 international conference on Software Process Simulation and Modeling
SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science
Information-based distance measures and the canonical reflection of view updates
Annals of Mathematics and Artificial Intelligence
Expert system technology and strategic decision support
Mathematical and Computer Modelling: An International Journal
Cognitive architectures: Research issues and challenges
Cognitive Systems Research
A hybrid evolutionary approach for solving the ontology alignment problem
International Journal of Intelligent Systems
That's ReDO: ontologies and regional development planning
ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part II
Ontology negotiation in heterogeneous multi-agent systems: The ANEMONE system
Applied Ontology - Formal Ontologies for Communicating Agents
A Formal Model for Situated Multi-Agent Systems
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Recognizing Inference in Texts with Markov Logic Networks
ACM Transactions on Asian Language Information Processing (TALIP) - Special Issue on RITE
New visual languages supporting design of multi-storey buildings
Advanced Engineering Informatics
Proof systems and transformation games
Annals of Mathematics and Artificial Intelligence
Complexity issues related to propagation completeness
Artificial Intelligence
Boolean functions with long prime implicants
Information Processing Letters
A decomposition method for CNF minimality proofs
Theoretical Computer Science
International Journal of Metadata, Semantics and Ontologies
Hi-index | 0.01 |