Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Programming in Prolog
Rule-based programming under OPS5
Rule-based programming under OPS5
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Updating and structure in non-monotonic theories
Updating and structure in non-monotonic theories
Reasoning about priorities in default logic
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
A first course in database systems
A first course in database systems
Prioritized conflict handing for logic programs
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
An Approach to Using XML and a Rule-Based Content Language with an Agent Communication Language
Issues in Agent Communication
A Logic-based Knowledge Representation for Authorization with Delegation
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
A Mechanism for Establishing Policies for Electronic Commerce
ICDCS '98 Proceedings of the The 18th International Conference on Distributed Computing Systems
Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
Automated negotiation from declarative contract descriptions
Proceedings of the fifth international conference on Autonomous agents
Executable declarative business rules and their use in electronic commerce
Proceedings of the 2002 ACM symposium on Applied computing
An agreement centric access control mechanism for business to business e-commerce
Proceedings of the 2002 ACM symposium on Applied computing
Argument exchange in heterogeneous electronic commerce environments
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
An asynchronous rule-based approach for business process automation using obligations
Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming
Workflow View Based E-Contracts in a Cross-Organizational E-Services Environment
Distributed and Parallel Databases
A Service Level Agreement Language for Dynamic Electronic Services
Electronic Commerce Research
A Reference Model for Designing an E-Commerce Curriculum
IEEE Concurrency
IEEE Intelligent Systems
XML Declarative Description: A Language for the Semantic Web
IEEE Intelligent Systems
Conflict Resolution Using Logic Programming
IEEE Transactions on Knowledge and Data Engineering
Embedding Defeasible Logic into Logic Programs
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Relating Defeasible Logic to Extended Logic Programs
SETN '02 Proceedings of the Second Hellenic Conference on AI: Methods and Applications of Artificial Intelligence
Relating Defeasible and Default Logic
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Constraint Search for Comparing Multiple-Incentive Merchandises
EC-WEB '02 Proceedings of the Third International Conference on E-Commerce and Web Technologies
Impacts and Limitations of Intelligent Agents in Electronic Commerce
Proceedings of the First International Conference on The Human Society and the Internet - Internet Related Socio-Economic Issues
Using Agent Control and Communication in a Distributed Workflow Information System
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Nonmonotonic Rule Systems on Top of Ontology Layers
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
A Three-Layer Framework for Cross-Organizational e-Contract Enactment
CAiSE '02/ WES '02 Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web
Workflow View Driven Cross-Organizational Interoperability in a Web-Service Environment
CAiSE '02/ WES '02 Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web
A Meta-model for e-Contract Template Variable Dependencies Facilitating e-Negotiation
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
Agent-Oriented Enterprise Modeling Based on Business Rules
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
A Frame Work for Modeling Electronic Contracts
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
A Denotational Semantics of Defeasible Logic
CL '00 Proceedings of the First International Conference on Computational Logic
A Rule-Driven Approach for Defining the Behaviour of Negotiating Software Agents
DCW '02 Revised Papers from the 4th International Workshop on Distributed Communities on the Web
KSACI: A Handheld Device Infrastructure for Agents Communication
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
WWW '03 Proceedings of the 12th international conference on World Wide Web
Cross-fertilizing logic programming and XML for knowledge representation
Knowledge media in healthcare
IEEE Internet Computing
Proceedings of the 2004 ACM symposium on Applied computing
Workflow View Driven Cross-Organizational Interoperability in a Web Service Environment
Information Technology and Management
A model-based approach to integrating security policies for embedded devices
Proceedings of the 4th ACM international conference on Embedded software
Management of business process constraints using BPTrigger
Computers in Industry
An EREC framework for e-contract modeling, enactment and monitoring
Data & Knowledge Engineering - Special issue: Contract-driven coordination and collaboration in the internet context
Credit scoring system for small business loans
Decision Support Systems
Induction of defeasible logic theories in the legal domain
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Using certified policies to regulate E-commerce transactions
ACM Transactions on Internet Technology (TOIT)
From Contracts to E-Contracts: Modeling and Enactment
Information Technology and Management
Developing e-Negotiation support with a meta-modeling approach in a web services environment
Decision Support Systems - Special issue: Web services and process management
Asking the right question: Risk and expectation in multiagent contracting
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
IEEE Intelligent Systems
Embedding defeasible logic into logic programming
Theory and Practice of Logic Programming
Defeasible security policy composition for web services
Proceedings of the fourth ACM workshop on Formal methods in security
Logic Programming Representation of the Compound Term Composition Algebra
Fundamenta Informaticae
International Journal of Electronic Commerce
A system for modal and deontic defeasible reasoning
Proceedings of the 2008 ACM symposium on Applied computing
Proceedings of the 30th international conference on Software engineering
Linking business rules to object-oriented software using JAsCo
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science,Software Engineering, Information Technology, e-Business, and Applications, 2003
Rigorously Defining and Analyzing Medical Processes: An Experience Report
Models in Software Engineering
Deontic logic for modelling data flow and use compliance
Proceedings of the 6th international workshop on Middleware for pervasive and ad-hoc computing
Knowledge representation concepts for automated SLA management
Decision Support Systems
A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems
Expert Systems with Applications: An International Journal
Expressing and Verifying Business Contracts with Abductive Logic Programming
International Journal of Electronic Commerce
A Contract-Based Architecture for Business Networks
International Journal of Electronic Commerce
Model checking correctness properties of a middleware service for contract compliance
Proceedings of the 4th International Workshop on Middleware for Service Oriented Computing
A Consensus-Based Integration Method for Security Rules
KES '09 Proceedings of the 13th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems: Part I
Improving self-interpretation of XML-based business documents by introducing derived elements
Electronic Commerce Research and Applications
Mining e-contract documents to classify clauses
Proceedings of the Third Annual ACM Bangalore Conference
Argumentation semantics for defeasible logics
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
Web services discovery and constraints composition
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Specifying process-aware access control rules in SBVR
RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
International Symposium on Symbolic and Algebraic Computation
Human and unhuman commonsense reasoning
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Achieving fairness in private contract negotiation
FC'05 Proceedings of the 9th international conference on Financial Cryptography and Data Security
A contract layered architecture for regulating cross-organisational business processes
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Computing logical form on regulatory texts
EMNLP '11 Proceedings of the Conference on Empirical Methods in Natural Language Processing
Compensation in the world of web services composition
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
Logic Programming Representation of the Compound Term Composition Algebra
Fundamenta Informaticae
Runtime verification of service-oriented systems: a well-rounded survey
International Journal of Web and Grid Services
Hi-index | 0.00 |