An artificial intelligence approach to legal reasoning
An artificial intelligence approach to legal reasoning
Meta-interpreters for rule-based inference under uncertainty
Decision Support Systems
Model management: an embedded languages approach
Decision Support Systems
The art of Prolog (2nd ed.): advanced programming techniques
The art of Prolog (2nd ed.): advanced programming techniques
Saying and doing: uses of formal languages in the conduct of business
Saying and doing: uses of formal languages in the conduct of business
Proceedings of the 8th international conference on Artificial intelligence and law
Decision Support Systems - Special issue: Formal modeling and electronic commerce
A logic model for model management: an embedded languages approach
A logic model for model management: an embedded languages approach
On Lean Messaging with Unfolding and Unwrapping for Electronic Commerce
International Journal of Electronic Commerce
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 |
Quotation and subsequent disquotation of propositional content sentences has been proposed for, and has some attractive features for, representing content sentences embedded in complex sentences by subordinating clauses. The meaning of and proper semantics for such representations, however, remain obscure, amid lurking worries that any such language will be inconsistent. This paper sketches an account of a semantics for quotation and disquotation. The key technical devices employed are (1) composing languages by federating two or more distinctly defined languages and (2) treating quotation as an invertible enumeration device, employed in the conventions governing use of the federated language.