-
1
-
-
1642443535
-
Representing the zoo world and the traffic world in the language of the Causal Calculator
-
Akman, V., Erdogan, S., Lee, J., Lifschitz, V. & Turner, H. 2004. Representing the zoo world and the traffic world in the language of the Causal Calculator. Artificial Intelligence 153(1-2), 105-140.
-
(2004)
Artificial Intelligence
, vol.153
, Issue.1-2
, pp. 105-140
-
-
Akman, V.1
Erdogan, S.2
Lee, J.3
Lifschitz, V.4
Turner, H.5
-
2
-
-
0020849266
-
Maintaining knowledge about temporal intervals
-
ACM
-
Allen, J. 1983. Maintaining knowledge about temporal intervals. Communications of the ACM 26(11), 832-843.
-
(1983)
Communications of the
, vol.26
, Issue.11
, pp. 832-843
-
-
Allen, J.1
-
3
-
-
77954868858
-
Fé lix, P., Cariñena, P. & Otero, A. 2010. A data mining algorithm for inducing temporal constraint networks
-
Álvarez, M. R., Fé lix, P., Cariñena, P. & Otero, A. 2010. A data mining algorithm for inducing temporal constraint networks. In Proceedings of the International Conference on Information Processing and Management of Uncertainty (IPMU), 300-309.
-
Proceedings of the International Conference on Information Processing and Management of Uncertainty (IPMU
, pp. 300-309
-
-
Álvarez, M.R.1
-
4
-
-
33745289988
-
The CQL continuous query language: Semantic foundations and query execution
-
DOI 10.1007/s00778-004-0147-z
-
Arasu, A., Babu, S. & Widom, J. 2006. The CQL continuous query language: semantic foundations and query execution. The VLDB Journal 15(2), 121-142. (Pubitemid 43938935)
-
(2006)
VLDB Journal
, vol.15
, Issue.2
, pp. 121-142
-
-
Arasu, A.1
Babu, S.2
Widom, J.3
-
5
-
-
77955836988
-
2010a. Logic-based representation, reasoning and machine learning for event recognition
-
ACM Press
-
Artikis, A., Paliouras, G., Portet, F. & Skarlatidis, A. 2010a. Logic-based representation, reasoning and machine learning for event recognition. In Proceedings of the Conference on Distributed Event-Based Systems (DEBS). ACM Press, 282-293.
-
Proceedings of the Conference on Distributed Event-Based Systems (DEBS
, pp. 282-293
-
-
Artikis, A.1
Paliouras, G.2
Portet, F.3
Skarlatidis, A.4
-
6
-
-
78650471925
-
2010b. A logic programming approach to activity recognition
-
ACM Workshop on Events in Multimedia
-
Artikis, A., Sergot, M. & Paliouras, G. 2010b. A logic programming approach to activity recognition. In Proceedings of the ACM Workshop on Events in Multimedia.
-
Proceedings of the
-
-
Artikis, A.1
Sergot, M.2
Paliouras, G.3
-
7
-
-
80051919264
-
-
Deliverable 4.1.2 of EU-funded FP7 PRONTO project (FP7-ICT 231738). Available from the authors
-
Artikis, A., Kukurikos, A., Paliouras, G., Karampiperis, P. & Spyropoulos, C. 2011. Final Version of Knowledge Base of Event Definitions and Reasoning Algorithms for Event Recognition. Deliverable 4.1.2 of EU-funded FP7 PRONTO project (FP7-ICT 231738). Available from the authors.
-
(2011)
Final Version of Knowledge Base of Event Definitions and Reasoning Algorithms for Event Recognition
-
-
Artikis, A.1
Kukurikos, A.2
Paliouras, G.3
Karampiperis, P.4
Spyropoulos, C.5
-
8
-
-
38149044367
-
Recognizing activities with multiple cues
-
Springer
-
Biswas, R., Thrun, S. & Fujimura, K. 2007. Recognizing activities with multiple cues. In Proceedings of the Workshop on Human Motion, Lecture Notes in Computer Science 4814, 255-270. Springer.
-
(2007)
Proceedings of the Workshop on Human Motion, Lecture Notes in Computer Science
, vol.4814
, pp. 255-270
-
-
Biswas, R.1
Thrun, S.2
Fujimura, K.3
-
9
-
-
84864973559
-
Intelligent adaptive monitoring for cardiac surveillance
-
Callens, L., Carrault, G., Cordier, M.-O., Fromont, É., Portet, F. & Quiniou, R. 2008. Intelligent adaptive monitoring for cardiac surveillance. In Proceedings of the European Conference on Artificial Intelligence (ECAI), 653-657.
-
(2008)
Proceedings of the European Conference on Artificial Intelligence (ECAI
, pp. 653-657
-
-
Callens, L.1
Carrault, G.2
Cordier, M.-O.3
Fromont, É.4
Portet, F.5
Quiniou, R.6
-
10
-
-
0041663535
-
Temporal abstraction and inductive logic programming for arrhythmia recognition from electrocardiograms
-
DOI 10.1016/S0933-3657(03)00066-6
-
Carrault, G., Cordier, M., Quiniou, R. & Wang, F. 2003. Temporal abstraction and inductive logic programming for arrhyhtmia recognition from electrocardiograms. Artificial Intelligence in Medicine 28, 231-263. (Pubitemid 36966126)
-
(2003)
Artificial Intelligence in Medicine
, vol.28
, Issue.3
, pp. 231-263
-
-
Carrault, G.1
Cordier, M.-O.2
Quiniou, R.3
Wang, F.4
-
12
-
-
0042549139
-
The complexity of model checking in modal event calculi with quantifiers
-
Cervesato, I., Franceschet, M. & Montanari, A. 1998. The complexity of model checking in modal event calculi with quantifiers. Journal of Electronic Transactions on Artificial Intelligence 2, 1-23. http://www.ida.liu.se/ext/ etai.
-
(1998)
Journal of Electronic Transactions on Artificial Intelligence
, vol.2
, pp. 1-23
-
-
Cervesato, I.1
Franceschet, M.2
Montanari, A.3
-
13
-
-
0033902739
-
Guided tour through some extensions of the Event Calculus
-
Cervesato, I., Franceschet, M. & Montanari, A. 2000. A guided tour through some extensions of the event calculus. Computational Intelligence 16, 307-347. (Pubitemid 30592757)
-
(2000)
Computational Intelligence
, vol.16
, Issue.2
, pp. 307-347
-
-
Cervesato, I.1
Franceschet, M.2
Montanari, A.3
-
15
-
-
33750629375
-
Extending the event calculus for tracking epidemic spread
-
DOI 10.1016/j.artmed.2005.06.001, PII S0933365705000783
-
Chaudet, H. 2006. Extending the event calculus for tracking epidemic spread. Artificial Intelligence in Medicine 38(2), 137-156. (Pubitemid 44693342)
-
(2006)
Artificial Intelligence in Medicine
, vol.38
, Issue.2
, pp. 137-156
-
-
Chaudet, H.1
-
16
-
-
78751688589
-
Commitment tracking via the reactive event calculus
-
Chesani, F., Mello, P., Montali, M. & Torroni, P. 2009. Commitment tracking via the reactive event calculus. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 91-96.
-
(2009)
Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI
, pp. 91-96
-
-
Chesani, F.1
Mello, P.2
Montali, M.3
Torroni, P.4
-
17
-
-
0030724939
-
Using a general theory of time and change in patient monitoring: Experiment and evaluation
-
DOI 10.1016/S0010-4825(97)00014-0, PII S0010482597000140
-
Chittaro, L. & Dojat, M. 1997. Using a general theory of time and change in patient monitoring: experiment and evaluation. Computers in Biology and Medicine 27(5), 435-452. (Pubitemid 27496119)
-
(1997)
Computers in Biology and Medicine
, vol.27
, Issue.5
, pp. 435-452
-
-
Chittaro, L.1
Dojat, M.2
-
18
-
-
0030206824
-
Efficient temporal reasoning in the cached event calculus
-
Chittaro, L. & Montanari, A. 1996. Efficient temporal reasoning in the cached event calculus. Computational Intelligence 12(3), 359-382.
-
(1996)
Computational Intelligence
, vol.12
, Issue.3
, pp. 359-382
-
-
Chittaro, L.1
Montanari, A.2
-
19
-
-
69049094139
-
Coloured petri nets for chronicle recognition
-
Springer
-
Choppy, C., Bertrand, O. & Carle, P. 2009. Coloured petri nets for chronicle recognition. In Proceedings of the Ada-Europe International Conference on Reliable Software Technologies, Lecture Notes in Computer Science 5570, 266-281. Springer.
-
(2009)
Proceedings of the Ada-Europe International Conference on Reliable Software Technologies, Lecture Notes in Computer Science
, vol.5570
, pp. 266-281
-
-
Choppy, C.1
Bertrand, O.2
Carle, P.3
-
20
-
-
0000826543
-
Negation as failure
-
Plenum Press
-
Clark, K. 1978. Negation as failure. In Logic and Databases, Gallaire, H. & Minker, J. (eds). Plenum Press, 293-322.
-
(1978)
Logic and Databases, Gallaire, H. & Minker, J. (Eds
, pp. 293-322
-
-
Clark, K.1
-
22
-
-
84855339464
-
Processing flows of information: from data stream to complex event processing
-
ACM Computing Surveys
-
Cugola, G. & Margara, A. 2011. Processing flows of information: from data stream to complex event processing. ACM Computing Surveys 44(3).
-
(2011)
ACM Computing Surveys
, vol.44
, Issue.3
-
-
Cugola, G.1
Margara, A.2
-
23
-
-
0033481108
-
Gibbs sampling for Bayesian non-conjugate and hierarchical models by using auxiliary variables
-
Damlen, P., Wakefield, J. & Walker, S. 1999. Gibbs sampling for Bayesian non-conjugate and hierarchical models by using auxiliary variables. Journal of the Royal Statistical Society: Series B (Statistical Methodology) 61(2), 331-344.
-
(1999)
Journal of the Royal Statistical Society: Series B (Statistical Methodology
, vol.61
, Issue.2
, pp. 331-344
-
-
Damlen, P.1
Wakefield, J.2
Walker, S.3
-
25
-
-
51849090960
-
A survey of first-order probabilistic models
-
D. E. & Jain, L. C. (eds). Studies in Computational Intelligence 156 Springer
-
De Salvo Braz, R., Amir, E. & Roth, D. 2008. A survey of first-order probabilistic models. In Innovations in Bayesian Networks, Holmes, D. E. & Jain, L. C. (eds). Studies in Computational Intelligence 156, 289-317. Springer.
-
(2008)
Innovations in Bayesian Networks, Holmes
, pp. 289-317
-
-
De Salvo Braz, R.1
Amir, E.2
Roth, D.3
-
27
-
-
0002629270
-
Maximum likelihood from incomplete data via the em algorithm
-
Dempster, A. P., Laird, N. M. & Rubin, D. B. 1977. Maximum likelihood from incomplete data via the EM algorithm. Journal of the Royal Statistical Society: Series B (Methodological) 39(1), 1-38.
-
(1977)
Journal of the Royal Statistical Society: Series B (Methodological
, vol.39
, Issue.1
, pp. 1-38
-
-
Dempster, A.P.1
Laird, N.M.2
Rubin, D.B.3
-
28
-
-
27344434696
-
Special issue: Abductive logic programming
-
Denecker, M. & Kakas, A. 2000. Special issue: abductive logic programming. Journal of Logic Programming 44(1-3), 1-4.
-
(2000)
Journal of Logic Programming
, vol.44
, Issue.1-3
, pp. 1-4
-
-
Denecker, M.1
Kakas, A.2
-
29
-
-
84867643604
-
Abduction in logic programming
-
Springer
-
Denecker, M. & Kakas, A. 2002. Abduction in logic programming. In Computational Logic: Logic Programming and Beyond, Kakas, A. and Sadri, F. (eds), Lecture Notes in Computer Science 2407, 99-134. Springer.
-
(2002)
Computational Logic: Logic Programming and Beyond, Kakas, A. and Sadri, F. (Eds), Lecture Notes in Computer Science
, vol.2407
, pp. 99-134
-
-
Denecker, M.1
Kakas, A.2
-
30
-
-
0010251997
-
A realistic experiment in knowledge representation in open event calculus: Protocol specification
-
Maher M. (ed. MIT Press
-
Denecker, M., Belleghem, K., Duchatelet, G., Piessens, F. & Schreye, D. 1996. A realistic experiment in knowledge representation in open event calculus: protocol specification. In Proceedings of the Joint International Conference and Symposium on Logic Programming (JICSLP), Maher, M. (ed.). MIT Press, 170-184.
-
(1996)
Proceedings of the Joint International Conference and Symposium on Logic Programming (JICSLP)
, pp. 170-184
-
-
Denecker, M.1
Belleghem, K.2
Duchatelet, G.3
Piessens, F.4
Schreye, D.5
-
31
-
-
0003232805
-
Temporal action logics: Language specification and tutorial
-
TAL
-
Doherty, P., Gustafsson, J., Karlsson, L. & Kvarnström, J. 1998. (TAL) temporal action logics: language specification and tutorial. Electronic Transactions on Artificial Intelligence 2(3-4), 273-306.
-
(1998)
Electronic Transactions on Artificial Intelligence
, vol.2-3
, Issue.4
, pp. 273-306
-
-
Doherty, P.1
Gustafsson, J.2
Karlsson, L.3
Kvarnström, J.4
-
32
-
-
79952384509
-
Markov logic: An interface layer for artificial intelligence
-
Domingos, P. & Lowd, D. 2009. Markov Logic: An Interface Layer for Artificial Intelligence. Morgan & Claypool Publishers.
-
(2009)
Morgan & Claypool Publishers
-
-
Domingos, P.1
Lowd, D.2
-
33
-
-
0043112201
-
Alarm driven supervision for telecommunication network: II - On-line chronicle recognition
-
Dousson, C. 1996. Alarm driven supervision for télé communication network II-on-line chronicle recognition. Annales des Telecommunication 51(9-10), 501-508. (Pubitemid 126525032)
-
(1996)
Annales des Telecommunications/Annals of Telecommunications
, vol.51
, Issue.9-10
, pp. 501-508
-
-
Dousson, C.1
-
39
-
-
48049097936
-
Chronicle recognition for mobility management triggers
-
IEEE Symposium on Computers and Communications (ISCC
-
Dousson, C., Pentikousis, K., Sutinen, T. & Mäkelä, J. 2007. Chronicle recognition for mobility management triggers. In Proceedings of the IEEE Symposium on Computers and Communications (ISCC), 305-310.
-
(2007)
Proceedings of the
, pp. 305-310
-
-
Dousson, C.1
Pentikousis, K.2
Sutinen, T.3
Mäkelä, J.4
-
42
-
-
21144438590
-
Using the event calculus for tracking the normative state of contracts
-
DOI 10.1142/S0218843005001110, PII S0218843005001110
-
Farrell, A., Sergot, M., Sallé , M. & Bartolini, C. 2005. Using the event calculus for tracking the normative state of contracts. International Journal of Cooperative Information Systems 4(2-3), 99-129. (Pubitemid 40878415)
-
(2005)
International Journal of Cooperative Information Systems
, vol.14
, Issue.2-3
, pp. 99-129
-
-
Farrell, A.D.H.1
Sergot, M.J.2
Salle, M.3
Bartolini, C.4
-
44
-
-
70350219103
-
Using temporal constraints to integrate signal analysis and domain knowledge in medical event detection
-
Springer
-
Gao, F., Sripada, Y., Hunter, J. & Portet, F. 2009. Using temporal constraints to integrate signal analysis and domain knowledge in medical event detection. In Artificial Intelligence in Medicine, Combi, C., Shahar, Y. & Abu-Hanna, A. (eds). Lecture Notes in Computer Science 5651, 46-55. Springer.
-
(2009)
Artificial Intelligence in Medicine, Combi, C., Shahar, Y. & Abu-Hanna, A. (Eds). Lecture Notes in Computer Science
, vol.5651
, pp. 46-55
-
-
Gao, F.1
Sripada, Y.2
Hunter, J.3
Portet, F.4
-
45
-
-
34547980383
-
Introduction to Statistical Relational Learning
-
MIT Press
-
Getoor, L. & Taskar, B. 2007. Introduction to Statistical Relational Learning. The MIT Press.
-
(2007)
The
-
-
Getoor, L.1
Taskar, B.2
-
48
-
-
1642484543
-
Nonmonotonic causal theories
-
Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N. & Turner, H. 2004. Nonmonotonic causal theories. Artificial Intelligence 153(1-2), 49-104.
-
(2004)
Artificial Intelligence
, vol.153
, Issue.1-2
, pp. 49-104
-
-
Giunchiglia, E.1
Lee, J.2
Lifschitz, V.3
McCain, N.4
Turner, H.5
-
49
-
-
34249677392
-
Learning, detection and representation of multi-agent events in videos
-
DOI 10.1016/j.artint.2007.04.002, PII S0004370207000665
-
Hakeem, A. & Shah, M. 2007. Learning, detection and representation of multi-agent events in videos. Artificial Intelligence 171(8-9), 586-605. (Pubitemid 46830914)
-
(2007)
Artificial Intelligence
, vol.171
, Issue.8-9
, pp. 586-605
-
-
Hakeem, A.1
Shah, M.2
-
50
-
-
79957953657
-
A statistical-relational activity recognition framework for ambient assisted living systems
-
Augusto, J C., Corchado, J. M., Novais, P. & Analide, C. (eds). Advances in Soft Computing 72 Springer
-
Helaoui, R., Niepert, M. & Stuckenschmidt, H. 2010. A statistical-relational activity recognition framework for ambient assisted living systems. In ISAmI, Augusto, J. C., Corchado, J. M., Novais, P. & Analide, C. (eds). Advances in Soft Computing 72, 247-254. Springer.
-
(2010)
ISAmI
, pp. 247-254
-
-
Helaoui, R.1
Niepert, M.2
Stuckenschmidt, H.3
-
51
-
-
33745773723
-
Sequential pattern mining with time intervals
-
DOI 10.1007/11731139-90, Advances in Knowledge Discovery and Data Mining - 10th Pacific-Asia Conference, PAKDD 2006, Proceedings
-
Hirate, Y. & Yamana, H. 2006. Sequential pattern mining with time intervals. In Advances in Knowledge Discovery and Data Mining, Ng, W.-K., Kitsuregawa, M., Li, J. & Chang, K. (eds). Springer, 775-779. (Pubitemid 44019483)
-
(2006)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.LNAI3918
, pp. 775-779
-
-
Hirate, Y.1
Yamana, H.2
-
54
-
-
77957187070
-
Abductive logic programming
-
Kakas, A. C., Kowalski, R. A. & Toni, F. 1992. Abductive logic programming. Journal of Logic and Computation 2(6), 719-770.
-
(1992)
Journal of Logic and Computation
, vol.2-6
, pp. 719-770
-
-
Kakas, A.C.1
Kowalski, R.A.2
Toni, F.3
-
55
-
-
78149328404
-
2010. Why did the person cross the road (there) scene understanding using probabilistic logic models and common sense reasoning
-
Springer
-
Kembhavi, A., Yeh, T. & Davis, L. S. 2010. Why did the person cross the road (there) scene understanding using probabilistic logic models and common sense reasoning. In ECCV (2), Daniilidis, K., Maragos, P. & Paragios, N. (eds). Lecture Notes in Computer Science 6312, 693-706. Springer.
-
ECCV (2), Daniilidis, K., Maragos, P. & Paragios, N. (Eds). Lecture Notes in Computer Science
, vol.6312
, pp. 693-706
-
-
Kembhavi, A.1
Yeh, T.2
Davis, L.S.3
-
56
-
-
33744486342
-
Logical hidden Markov models
-
Kersting, K., De Raedt, L. & Raiko, T. 2006. Logical hidden Markov models. Journal of Artificial Intelligence Research 25(1), 425-456. (Pubitemid 43800052)
-
(2006)
Journal of Artificial Intelligence Research
, vol.25
, pp. 425-456
-
-
Kersting, K.1
De Raedt, L.2
Raiko, T.3
-
60
-
-
77956519107
-
2010. Learning Markov logic networks using structural motifs
-
Kok, S. & Domingos, P. 2010. Learning Markov logic networks using structural motifs. In Proceedings of the International Conference on Machine Learning (ICML), Fürnkranz, J. & Joachims, T. (eds). Omnipress, 551-558.
-
Proceedings of the International Conference on Machine Learning (ICML), Fürnkranz, J. & Joachims, T. (Eds). Omnipress
, pp. 551-558
-
-
Kok, S.1
Domingos, P.2
-
61
-
-
78549244611
-
Induction as a search
-
D. & Vlahavas, I. (eds). IGI Global Ch. VII
-
Konstantopoulos, S., Camacho, R., Fonseca, N. & Costa, V. S. 2008. Induction as a search. In Artificial Intelligence for Advanced Problem Solving Techniques, Vrakas, D. & Vlahavas, I. (eds). IGI Global, Ch. VII, 158-205.
-
(2008)
Artificial Intelligence for Advanced Problem Solving Techniques, Vrakas
, pp. 158-205
-
-
Konstantopoulos, S.1
Camacho, R.2
Fonseca, N.3
Costa, V.S.4
-
62
-
-
0031118374
-
Reconciling the event calculus with the situation calculus
-
Kowalski, R. & Sadri, F. 1997. Reconciling the event calculus with the situation calculus. Journal of Logic Programming 31, 39-58.
-
(1997)
Journal of Logic Programming
, vol.31
, pp. 39-58
-
-
Kowalski, R.1
Sadri, F.2
-
66
-
-
67650660839
-
Chronicles for on-line diagnosis of distributed systems
-
Leuven. Le Guillou, X., Cordier, M.-O., Robin, S. & Rozé , L. 2008. Chronicles for on-line diagnosis of distributed systems. In Proceedings of the European Conference on Artificial Intelligence (ECAI), 194-198.
-
(2008)
Proceedings of the European Conference on Artificial Intelligence (ECAI
, pp. 194-198
-
-
Leuven1
Le Guillou, X.2
Cordier, M.-O.3
Robin, S.4
Rozé, L.5
-
70
-
-
33646694052
-
3D human action recognition using spatio-temporal motion templates
-
Computer Vision in Human-Computer Interaction - ICCV 2005 Workshop on HCI, Proceedings
-
Lv, F., Nevatia, R. & Lee, M. 2005. 3D human action recognition using spatio-temporal motion templates. In Proceedings of the International Workshop on Computer Vision in Human-Computer Interaction (ICCV), 120-130. (Pubitemid 43741575)
-
(2005)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.LNCS3766
, pp. 120-130
-
-
Lv, F.1
Nevatia, R.2
Lee, M.W.3
-
71
-
-
0021828305
-
The complexity of some polynomial network consistency algorithms for constraint satisfaction problems
-
Mackworth, A. & Freuder, E. 1985. The complexity of some polynomial network consistency algorithms for constraint satisfaction problems. Artificial Intelligence 25, 65-74.
-
(1985)
Artificial Intelligence
, vol.25
, pp. 65-74
-
-
MacKworth, A.1
Freuder, E.2
-
72
-
-
27144468394
-
Discovery of frequent episodes in event sequences
-
Mannila, H., Toivonen, H. & Verkamo, A.I. 1997. Discovery of frequent episodes in event sequences. Data Mining and Knowledge Discovery 1(3), 259-289. (Pubitemid 127721244)
-
(1997)
Data Mining and Knowledge Discovery
, vol.1
, Issue.3
, pp. 259-289
-
-
Mannila, H.1
Toivonen, H.2
Verkamo, I.3
-
73
-
-
0014638440
-
Some philosophical problems from the standpoint of artificial intelligence
-
McCarthy, J. & Hayes, P. 1969. Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence 4, 463-502.
-
(1969)
Machine Intelligence
, vol.4
, pp. 463-502
-
-
McCarthy, J.1
Hayes, P.2
-
78
-
-
7044260410
-
Using theory completion to learn a robot navigation control program
-
Inductive Logic Programming
-
Moyle, S. 2002. Using theory completion to learn a robot navigation control program. In Inductive Logic Programming, Lecture Notes in Computer Science 2583, 182-197. Springer. (Pubitemid 36242060)
-
(2003)
Lecture Notes in Computer Science
, Issue.2583
, pp. 182-197
-
-
Moyle, S.1
-
80
-
-
33745864790
-
Event calculus and temporal action logics compared
-
DOI 10.1016/j.artint.2006.05.001, PII S0004370206000567
-
Mueller, E. 2006b. Event calculus and temporal action logics compared. Artificial Intelligence 170(11), 1017-1029. (Pubitemid 44037537)
-
(2006)
Artificial Intelligence
, vol.170
, Issue.11
, pp. 1017-1029
-
-
Mueller, E.T.1
-
81
-
-
0000640432
-
Inductive logic programming
-
Muggleton, S. 1991. Inductive logic programming. New Generation Computing 8(4), 295-318.
-
(1991)
New Generation Computing
, vol.8
, Issue.4
, pp. 295-318
-
-
Muggleton, S.1
-
82
-
-
77951503082
-
Inverse entailment and Progol
-
Muggleton, S. 1995. Inverse entailment and Progol. New Generation Computing 13(3-4), 245-286.
-
(1995)
New Generation Computing
, vol.13
, Issue.3-4
, pp. 245-286
-
-
Muggleton, S.1
-
84
-
-
0028429573
-
Inductive logic programming: Theory and methods
-
Muggleton, S. & Raedt, L. D. 1994. Inductive logic programming: theory and methods. Journal of Logic Programming 19/20, 629-679.
-
(1994)
Journal of Logic Programming
, vol.19-20
, pp. 629-679
-
-
Muggleton, S.1
Raedt, L.D.2
-
86
-
-
0029229419
-
Reasoning about temporal relations: A maximal tractable subclass of Allen's interval algebra
-
ACM
-
Nebel, B. & Bürckert, H.-J. 1995. Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra. Journal of the ACM 42(1), 43-66.
-
(1995)
Journal of the
, vol.42
, Issue.1
, pp. 43-66
-
-
Nebel, B.1
Bürckert, H.-J.2
-
87
-
-
0005500957
-
Declarative bias in ILP
-
L. D. (ed.). IOS Press
-
Nédellec, C., Rouveirol, C., Adé , H., Bergadano, F. & Tausend, B. 1996. Declarative bias in ILP. In Advances in Inductive Logic Programming, Raedt, L. D. (ed.). IOS Press, 82-103.
-
(1996)
Advances in Inductive Logic Programming, Raedt
, pp. 82-103
-
-
Nédellec, C.1
Rouveirol, C.2
Adé, H.3
Bergadano, F.4
Tausend, B.5
-
88
-
-
24644492941
-
Learning and detecting activities from movement trajectories using the hierarchical hidden Markov model
-
Nguyen, N., Phung, D., Venkatesh, S. & Bui, H. 2005. Learning and detecting activities from movement trajectories using the hierarchical hidden Markov model. In Proceedings of the Conference on Computer Vision and Pattern Recognition.
-
(2005)
Proceedings of the Conference on Computer Vision and Pattern Recognition
-
-
Nguyen, N.1
Phung, D.2
Venkatesh, S.3
Bui, H.4
-
91
-
-
56149101020
-
Knowledge representation concepts for automated SLA management
-
Paschke, A. & Bichler, M. 2008. Knowledge representation concepts for automated SLA management. Decision Support Systems 46(1), 187-205.
-
(2008)
Decision Support Systems
, vol.46
, Issue.1
, pp. 187-205
-
-
Paschke, A.1
Bichler, M.2
-
97
-
-
0000431236
-
Induction of logic programs: Foil and related systems
-
Quinlan, J. R. & Cameron-Jones, R. M. 1995. Induction of logic programs: foil and related systems. New Generation Computing 13, 287-312.
-
(1995)
New Generation Computing
, vol.13
, pp. 287-312
-
-
Quinlan, J.R.1
Cameron-Jones, R.M.2
-
98
-
-
0024610919
-
A tutorial on hidden Markov models
-
IEEE
-
Rabiner, L. & Juang, B. 1989. A tutorial on hidden Markov models. Proceedings of the IEEE 77(2), 257-286.
-
(1989)
Proceedings of the
, vol.77
, Issue.2
, pp. 257-286
-
-
Rabiner, L.1
Juang, B.2
-
99
-
-
67349139131
-
Nonmonotonic abductive inductive learning
-
Ray, O. 2009. Nonmonotonic abductive inductive learning. Journal of Applied Logic 7(3), 329-340.
-
(2009)
Journal of Applied Logic
, vol.7
, Issue.3
, pp. 329-340
-
-
Ray, O.1
-
101
-
-
32044466073
-
Markov logic networks
-
DOI 10.1007/s10994-006-5833-1
-
Richardson, M. & Domingos, P. 2006. Markov logic networks. Machine Learning 62(1-2), 107-136. (Pubitemid 43202307)
-
(2006)
Machine Learning
, vol.62
, Issue.SPEC. ISS.1-2
, pp. 107-136
-
-
Richardson, M.1
Domingos, P.2
-
103
-
-
1642497296
-
The event calculus explained
-
M. & Veloso, M. (eds). Lecture Notes in Artificial Intelligence 1600 Springer
-
Shanahan, M. 1999. The event calculus explained. In Artificial Intelligence Today, Wooldridge, M. & Veloso, M. (eds). Lecture Notes in Artificial Intelligence 1600, 409-430. Springer.
-
(1999)
Artificial Intelligence Today, Wooldridge
, pp. 409-430
-
-
Shanahan, M.1
-
105
-
-
33745808621
-
Multivalued default logic for identity maintenance in visual surveillance
-
DOI 10.1007/11744085-10, Computer Vision - ECCV 2006, 9th European Conference on Computer Vision, Proceedings
-
Shet, V., Harwood, D. & Davis, L. 2006. Multivalued default logic for identity maintenance in visual surveillance. In Proceedings of the European Conference on Computer Vision (ECCV), Lecture Notes in Computer Science 3954, 119-132. Springer. (Pubitemid 44029625)
-
(2006)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.LNCS3954
, pp. 119-132
-
-
Shet, V.D.1
Harwood, D.2
Davis, L.S.3
-
106
-
-
34948865764
-
Bilattice-based logical reasoning for human detection
-
IEEE
-
Shet, V., Neumann, J., Ramesh, V. & Davis, L. 2007. Bilattice-based logical reasoning for human detection. In Proceedings of the International Conference on Computer Vision and Pattern Recognition (CVPR). IEEE, 1-8.
-
(2007)
Proceedings of the International Conference on Computer Vision and Pattern Recognition (CVPR
, pp. 1-8
-
-
Shet, V.1
Neumann, J.2
Ramesh, V.3
Davis, L.4
-
107
-
-
29344465423
-
Discriminative training of Markov logic networks
-
Proceedings of the 20th National Conference on Artificial Intelligence and the 17th Innovative Applications of Artificial Intelligence Conference, AAAI-05/IAAI-05
-
Singla, P. & Domingos, P. 2005. Discriminative training of Markov logic networks. In Proceedings of the AAAI Conference on Artificial Intelligence, Veloso, M. M. & Kambhampati, S. (eds). 868-873. (Pubitemid 43006718)
-
(2005)
Proceedings of the National Conference on Artificial Intelligence
, vol.2
, pp. 868-873
-
-
Singla, P.1
Domingos, P.2
-
110
-
-
33748281132
-
Application of abductive ILP to learning metabolic network inhibition from temporal data
-
DOI 10.1007/s10994-006-8988-x, Special ILP Mega-Issue: ILP-2003 and ILP-2004; ILP-2003 Guest Editors: Tamas Horvath and Akihiro Yamamoto; ILP-2004 Guest Editors: Rui Camacho, Ross King and Ashwin Srinivasan
-
Tamaddoni-Nezhad, A., Chaleil, R., Kakas, A. C. & Muggleton, S. 2006. Application of abductive ILP to learning metabolic network inhibition from temporal data. Machine Learning 64(1-3), 209-230. (Pubitemid 44320252)
-
(2006)
Machine Learning
, vol.64
, Issue.1-3
, pp. 209-230
-
-
Tamaddoni-Nezhad, A.1
Chaleil, R.2
Kakas, A.3
Muggleton, S.4
-
112
-
-
0033164651
-
From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
-
Thielscher, M. 1999. From situation calculus to fluent calculus: state update axioms as a solution to the inferential frame problem. Artificial Intelligence 111(1-2), 277-299.
-
(1999)
Artificial Intelligence
, vol.111
, Issue.1-2
, pp. 277-299
-
-
Thielscher, M.1
-
113
-
-
0035450098
-
The Qualification Problem: A solution to the problem of anomalous models
-
DOI 10.1016/S0004-3702(01)00131-X, PII S000437020100131X
-
Thielscher, M. 2001. The qualification problem: a solution to the problem of anomalous models. Artificial Intelligence 131(1-2), 1-37. (Pubitemid 32798576)
-
(2001)
Artificial Intelligence
, vol.131
, Issue.1-2
, pp. 1-37
-
-
Thielscher, M.1
-
116
-
-
38049173466
-
Towards data mining without information on knowledge structure
-
Kok, J., Koronacki, J., Lopez de Mantaras, R., Matwin, S., Mladenic D. & Skowron, A. (eds
-
Vautier, A., Cordier, M.-O. & Quiniou, R. 2007. Towards data mining without information on knowledge structure. In Knowledge Discovery in Databases, Kok, J., Koronacki, J., Lopez de Mantaras, R., Matwin, S., Mladenic, D. & Skowron, A. (eds). 300-311.
-
(2007)
Knowledge Discovery in Databases
, pp. 300-311
-
-
Vautier, A.1
Cordier, M.-O.2
Quiniou, R.3
-
120
-
-
78650895430
-
Recognizing objects in smart homes based on human interaction
-
In ACIVS 2 Blanc-Talon, J., Bone, D., Philips, W., Popescu, D. C. & Scheunders, P., (eds) Springer
-
Wu, C. & Aghajan, H. K. 2010. Recognizing objects in smart homes based on human interaction. In ACIVS (2), Blanc-Talon, J., Bone, D., Philips, W., Popescu, D. C. & Scheunders, P., (eds). Lecture Notes in Computer Science 6475, 131-142. Springer.
-
(2010)
Lecture Notes in Computer Science
, vol.6475
, pp. 131-142
-
-
Wu, C.1
Aghajan, H.K.2
-
121
-
-
85028272516
-
Transactions on systems
-
IEEE
-
Wu, C. & Aghajan, H. K. 2011. User-centric environment discovery with camera networks in smart homes. IEEE Transactions on Systems, Man, and Cybernetics, Part A 41(2), 375-383.
-
Man, and Cybernetics, Part A
, vol.41
, Issue.2
, pp. 375-383
-
-
Wu, C.1
Aghajan, H.K.2
-
122
-
-
78650433697
-
Learning logic rules for scene interpretation based on Markov logic networks
-
Springer Zha, H., Ichiro Taniguchi, R. & Maybank, S. J. (Eds). Lecture Notes in Computer Science
-
Xu, M. & Petrou, M. 2009. Learning logic rules for scene interpretation based on Markov logic networks. In ACCV (3), Zha, H., ichiro Taniguchi, R. & Maybank, S. J. (eds). Lecture Notes in Computer Science 5996, 341-350. Springer.
-
(2009)
ACCV (3)
, vol.5996
, pp. 341-350
-
-
Xu, M.1
Petrou, M.2
-
123
-
-
0033687079
-
Mining sequential patterns including time intervals
-
V. (ed.
-
Yoshida, M., Iizuka, T., Shiohara, H. & Ishiguro, M. 2000. Mining sequential patterns including time intervals. In Data Mining and Knowledge Discovery, Dasarathy, B. V. (ed.). 213-220.
-
(2000)
Data Mining and Knowledge Discovery, Dasarathy, B
, pp. 213-220
-
-
Yoshida, M.1
Iizuka, T.2
Shiohara, H.3
Ishiguro, M.4
|