Global analysis of constraint logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
An automated inference approach to network derivation for AM/FM/GIS systems
GIS '96 Proceedings of the 4th ACM international workshop on Advances in geographic information systems
Tiling design patterns—a case study using the interpreter pattern
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
Alma-O: an imperative language that supports declarative programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Approach for Recovering Distributed System Architectures
Automated Software Engineering
Polymorphic directional types for logic programming
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
An expert system for credit evaluation and explanation
Journal of Computing Sciences in Colleges
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming
Annals of Mathematics and Artificial Intelligence
WI '04 Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence
A note on interpretations for federated languages and the use of disquotation
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Merging news reports that describe events
Data & Knowledge Engineering
Termination analysis of logic programs through combination of type-based norms
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the 12th ACM symposium on Access control models and technologies
Proving Arrow's theorem by PROLOG
Computational Economics
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the 2008 ACM SIGPLAN workshop on ML
Normative conflict resolution in multi-agent systems
Autonomous Agents and Multi-Agent Systems
ActionScript bytecode verification with co-logic programming
Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security
A meta-programming technique for debugging answer-set programs
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Abstract interpretation of resolution-based semantics
Theoretical Computer Science
SE '08 Proceedings of the IASTED International Conference on Software Engineering
Diagnosis and semi-automatic correction of detected design inconsistencies in source code
IWST '09 Proceedings of the International Workshop on Smalltalk Technologies
Learning hereditary and reductive prolog programs from entailment
ICIC'09 Proceedings of the Intelligent computing 5th international conference on Emerging intelligent computing technology and applications
Checking Existing Requirements for Compliance with Law Using a Production Rule Model
RELAW '09 Proceedings of the 2009 Second International Workshop on Requirements Engineering and Law
MetaFJig: a meta-circular composition language for Java-like classes
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
A 25-year perspective on logic programming
Logic programming for data warehouse conceptual schema validation
DaWaK'10 Proceedings of the 12th international conference on Data warehousing and knowledge discovery
Proceedings of the 1st ACM International Health Informatics Symposium
Integrating induction and deduction for finding evidence of discrimination
Artificial Intelligence and Law
Automated generation of itineraries in recommender systems for tourism
ICWE'10 Proceedings of the 10th international conference on Current trends in web engineering
Supporting software design based on comments in codes
ACOS'06 Proceedings of the 5th WSEAS international conference on Applied computer science
A logic-based modeling and verification of CPS
ACM SIGBED Review - Work-in-Progress (WiP) Session of the 2nd International Conference on Cyber Physical Systems
Infinite computation, co-induction and computational logic
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
IFL'08 Proceedings of the 20th international conference on Implementation and application of functional languages
ActionScript in-lined reference monitoring in prolog
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
Model-checking in-lined reference monitors
VMCAI'10 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
ISSEP'05 Proceedings of the 2005 Informatics in Secondary Schools - Evolution and Perspectives international conference on From Computer Literacy to Informatics Fundamentals
Datalog for security, privacy and trust
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
On new constructs in art: structure, time, correspondences and interaction
EVA'09 Proceedings of the 2009 international conference on Electronic Visualisation and the Arts
Coinductive constraint logic programming
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
Tor: extensible search with hookable disjunction
Proceedings of the 14th symposium on Principles and practice of declarative programming
Question analysis: how watson reads a clue
IBM Journal of Research and Development
KnowRob: A knowledge processing infrastructure for cognition-enabled robots
International Journal of Robotics Research
Knowledge-enabled decision making for robotic system utilizing ambient service components
Journal of Ambient Intelligence and Smart Environments - Ambient and Smart Component Technologies for Human Centric Computing
| Hi-index | 0.00 |