A logic-based calculus of events
New Generation Computing
On representation schemes for promising electronically
Decision Support Systems
Logic and representation
Deontic logic: a concise overview
Deontic logic in computer science
Obligations directed from bearers to counterparts
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
ACM Transactions on Information Systems (TOIS)
On the Spanning Hypothesis for EDI Semantics
HICSS '99 Proceedings of the Thirty-second Annual Hawaii International Conference on System Sciences-Volume 5 - Volume 5
On Electronic Commerce, Subatomic Semantics and Caesar's Stabbing
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Information Systems Track—Internet and the Digital Economy - Volume 4
Formal language for business communication: sketch of a basic theory
International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce
On Lean Messaging with Unfolding and Unwrapping for Electronic Commerce
International Journal of Electronic Commerce
An asynchronous rule-based approach for business process automation using obligations
Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming
Computational aspects of the FLBC framework
Decision Support Systems - Special issue: Formal modeling and electronic commerce
A note on getting started with FLBC: towards a user guide for FLBC
ACM SIGGROUP Bulletin
A Coverage-Determination Mechanism for Checking Business Contracts against Organizational Policies
TES '02 Proceedings of the Third International Workshop on Technologies for E-Services
On original generation of structure in legal documents
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
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
International Journal of Metadata, Semantics and Ontologies
Pro-active monitoring of electronic contracts
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
On the normative aspect of signalling conventions
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
On the representation of normative sentences in FOL
Logic Programs, Norms and Action
Hi-index | 0.00 |
S believes that P, S promises that P, S says that P, and so on are examples of sentences with embedded propositional content (that P in these examples.). Such sentences are ubiquitous in everyday reasoning, in legal reasoning, and in conducting business. This paper sketches an approach to formalizing such sentences for purposes of automated reasoning. The method advocated, called the disquotation theory of propositional content, applies to modeling formally propositional attitude sentences, as well as modal and deontic sentences. Exploiting the resources of event semantics, the method generates intensional contexts of the highest degree, then allows relaxations via added axioms.