-
1
-
-
0012327452
-
An experimental CLP platform for integrity constraints and abduction
-
Proceedings of FQAS2000, Flexible Query Answering Systems. Larseri, H.L., Kanprzyk, J., Zaclrozny, S., (Eds.), Physica-Verlag (Springer)
-
Abdennadher, S., and Christiansen, H., An Experimental CLP Platform for Integrity Constraints and Abduction. Proceedings of FQAS2000, Flexible Query Answering Systems. Larseri, H.L., Kanprzyk, J., Zaclrozny, S., (Eds.) Advances in Soft Computmg series, Physica-Verlag (Springer), pp. 141-152, 2000.
-
(2000)
Advances in Soft Computmg Series
, pp. 141-152
-
-
Abdennadher, S.1
Christiansen, H.2
-
2
-
-
84944250290
-
v: A flexible query language
-
Proceedings of FQAS'98, Flexible Query Answering Systems. Andreasen, T., Christiansen, H., Larsen, H.L. (Eds.), Springer
-
V: A flexible query language. Proceedings of FQAS'98, Flexible Query Answering Systems. Andreasen, T., Christiansen, H., Larsen, H.L. (Eds.) Lecture Notes in Artificial Intelligence 1495, pp. 1-14, Springer, 1998.
-
(1998)
Lecture Notes in Artificial Intelligence
, vol.1495
, pp. 1-14
-
-
Abdennadher, S.1
Schütz, H.2
-
3
-
-
84957673741
-
Open theories and abduction for context and accommodation
-
2nd International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'99) Bouquet, P., Brezillon, P., Serafini, L. (eds.). Springer-Verlag
-
Christiansen, H., Open theories and abduction for context and accommodation. 2nd International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'99) Bouquet, P., Brezillon, P., Serafini, L. (eds.) Lecture Notes in Artificial Intelligence 1688. Springer-Verlag, pp. 455-458, 1999.
-
(1999)
Lecture Notes in Artificial Intelligence
, vol.1688
, pp. 455-458
-
-
Christiansen, H.1
-
4
-
-
0012333258
-
Abductive language interpretation as bottom-up deduction
-
Natural Language Understanding and Logic Programming, Proceedings of the 2002 workshop, ed. Wintner, S., Roskilde University, Comp. Sei. Dept.
-
Christiansen, H., Abductive Language Interpretation as Bottom-up Deduction. In: Natural Language Understanding and Logic Programming, Proceedings of the 2002 workshop, ed. Wintner, S., Datalogiske Skrifter vol. 92, Roskilde University, Comp. Sei. Dept., pp. 33-47, 2002.
-
(2002)
Datalogiske Skrifter
, vol.92
, pp. 33-47
-
-
Christiansen, H.1
-
7
-
-
26944447013
-
Assumptions and abduction in prolog
-
September Saint-Malo, France. Susana MuñozHernández, José Manuel Gómez-Perez, and Petra Hofstedt (Eds.)
-
Christiansen, H., Dahl, V., Assumptions and Abduction in Prolog Proceedings of WLPE 2004- 14th Workshop on Logic Programming Environments and Multi-CPL 2004'- Third Workshop on Multiparadigm Constraint Programming Languages Workshop Proceedings, September 2004, Saint-Malo, France. Susana MuñozHernández, José Manuel Gómez-Perez, and Petra Hofstedt (Eds.) pp. 87-101.
-
(2004)
Proceedings of WLPE 2004- 14th Workshop on Logic Programming Environments and Multi-CPL 2004'- Third Workshop on Multiparadigm Constraint Programming Languages Workshop Proceedings
, pp. 87-101
-
-
Christiansen, H.1
Dahl, V.2
-
8
-
-
0001640243
-
On the relationship between abduction and deduction
-
Console, L., Theseider Dupré, D., Torasso, P., On the Relationship between Abduction and Deduction. Journal of Logic and Computation 1(5), pp. 661-690, 1991,
-
(1991)
Journal of Logic and Computation
, vol.1
, Issue.5
, pp. 661-690
-
-
Console, L.1
Theseider Dupré, D.2
Torasso, P.3
-
10
-
-
0032186691
-
Theory and practice of constraint handling rules
-
Frühwirth, T.W., Theory and Practice of Constraint Handling Rules, Journal of Logic Programming, Vol. 37(1-3), pp. 95-138, 1998.
-
(1998)
Journal of Logic Programming
, vol.37
, Issue.1-3
, pp. 95-138
-
-
Frühwirth, T.W.1
-
11
-
-
85149152839
-
Ontological promiscuity
-
8-12 July 1985, University of Chicago, Chicago, Illinois, USA, Proceedings, ACL
-
Hobbs, J., Ontological Promiscuity. Proceedings of the 23rd conference, on Association for Computational Linguistics, 8-12 July 1985, University of Chicago, Chicago, Illinois, USA, Proceedings, ACL, pp. 61-69, 1985.
-
(1985)
Proceedings of the 23rd Conference, on Association for Computational Linguistics
, pp. 61-69
-
-
Hobbs, J.1
-
12
-
-
0027683879
-
Interpretation as abduction
-
Hobbs, J.R., Stickel, M.E., Appelt D.E., and Martin, P., Interpretation as abduction. Artificial Intelligence 63, pp. 69-142, 1993.
-
(1993)
Artificial Intelligence
, vol.63
, pp. 69-142
-
-
Hobbs, J.R.1
Stickel, M.E.2
Appelt, D.E.3
Martin, P.4
-
13
-
-
4243532938
-
Constraint logic programming: A survey
-
Jaffar, J., Maher, M.J., Constraint logic programming: A survey. Journal of logic programming, vol. 19, 20, pp. 503-581, 1994.
-
(1994)
Journal of Logic Programming
, vol.19-20
, pp. 503-581
-
-
Jaffar, J.1
Maher, M.J.2
-
14
-
-
0000699514
-
The role of abduction in logic programming
-
Gabbay, D.M, Hogger, C.J., Robinson, J.A., (eds.), Oxford University Press
-
Kakas, A.C., Kowalski, R.A., and Toni, F. The role of abduction in logic programming, Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 5, Gabbay, D.M, Hogger, C.J., Robinson, J.A., (eds.), Oxford University Press, pp. 235-324, 1998.
-
(1998)
Handbook of Logic in Artificial Intelligence and Logic Programming
, vol.5
, pp. 235-324
-
-
Kakas, A.C.1
Kowalski, R.A.2
Toni, F.3
-
16
-
-
0000284797
-
Meaning in context: Is there any other kind?
-
Mishler, E.G., Meaning in Context: Is there any other Kind? Harward Educational Review Vol. 49, No. 1, pp. 1-19, 1979.
-
(1979)
Harward Educational Review
, vol.49
, Issue.1
, pp. 1-19
-
-
Mishler, E.G.1
-
18
-
-
85087537133
-
The other syntax: Approaching natural language semantics through logical form composition
-
To appear in "Proceedings of first International Workshop on Language Processing and Constraint Solving, Roskilde, Sept. 1-3, 2004", eds. Christiansen, H., Skadhauge, P.R., Villadsen, J.
-
Penn, J.R., The Other Syntax: Approaching Natural Language Semantics through Logical Form Composition To appear in "Proceedings of first International Workshop on Language Processing and Constraint Solving, Roskilde, Sept. 1-3, 2004", eds. Christiansen, H., Skadhauge, P.R., Villadsen, J., Lecture Notes in Artificial Intelligence 3834, 2005.
-
(2005)
Lecture Notes in Artificial Intelligence
, vol.3834
-
-
Penn, J.R.1
-
19
-
-
26944461472
-
Definite clause grammars for language analysis. A survey of the formalism and a comparison with augmented transition grammars
-
Pereira, F.C.N., and Warren, D.H.D., Definite clause grammars for language analysis. A survey of the formalism and a comparison with augmented transition grammars. Artificial Intelligence 10, no. 3-4, pp. 165-176, 1980.
-
(1980)
Artificial Intelligence
, vol.10
, Issue.3-4
, pp. 165-176
-
-
Pereira, F.C.N.1
Warren, D.H.D.2
-
20
-
-
85168129592
-
Conceptual overlays: A mechanism for the interpretation of sentence meaning in context
-
Rieger, C., Conceptual overlays: A mechanism for the interpretation of sentence meaning in context. Proc. IJCAl-75pp. 143-150.
-
Proc. IJCAl-75
, pp. 143-150
-
-
Rieger, C.1
-
21
-
-
0002063819
-
On the representation of context
-
Stalnaker, R., On the representation of context. Journal of Logic, Language, and Information, vol. 7, pp. 3-19, 1998.
-
(1998)
Journal of Logic, Language, and Information
, vol.7
, pp. 3-19
-
-
Stalnaker, R.1
|