-
2
-
-
0001119421
-
The stable model semantics for logic programming
-
MIT Press, Massachussets
-
Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proc. of ICLP 1988, pp. 1070-1080. MIT Press, Massachussets (1988)
-
(1988)
Proc. of ICLP
, vol.1988
, pp. 1070-1080
-
-
Gelfond, M.1
Lifschitz, V.2
-
3
-
-
0010122418
-
Extending and implementing the stable model semantics
-
Simons, P., Niemela, I., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence Journal 138(1-2), 181-234 (2002)
-
(2002)
Artificial Intelligence Journal
, vol.138
, Issue.1-2
, pp. 181-234
-
-
Simons, P.1
Niemela, I.2
Soininen, T.3
-
4
-
-
33745244351
-
The dlv system for knowledge representation and reasoning
-
Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The dlv system for knowledge representation and reasoning. ACM Transactions on Computational Logic 7(3), 499-562 (2006)
-
(2006)
ACM Transactions on Computational Logic
, vol.7
, Issue.3
, pp. 499-562
-
-
Leone, N.1
Pfeifer, G.2
Faber, W.3
Eiter, T.4
Gottlob, G.5
Perri, S.6
Scarcello, F.7
-
5
-
-
84880889003
-
Conflict-driven answer set solving
-
AAAI Press, Massachussets
-
Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-driven answer set solving. In: Proc. of IJCAI 2007, pp. 386-392. AAAI Press, Massachussets (2007)
-
(2007)
Proc. of IJCAI
, vol.2007
, pp. 386-392
-
-
Gebser, M.1
Kaufmann, B.2
Neumann, A.3
Schaub, T.4
-
6
-
-
0036688074
-
A survey on sensor networks
-
Akyildiz, I.F., Su, W., Sankarasubramaniam, Y., Cayirci, E.: A survey on sensor networks. IEEE Communications Magazine 40(8), 102-114 (2002)
-
(2002)
IEEE Communications Magazine
, vol.40
, Issue.8
, pp. 102-114
-
-
Akyildiz, I.F.1
Su, W.2
Sankarasubramaniam, Y.3
Cayirci, E.4
-
7
-
-
70349886718
-
Support for context-aware monitoring in home healthcare
-
to appear
-
Mileo, A., Merico, D., Bisiani, R.: Support for context-aware monitoring in home healthcare. In: Proc. of IE 2009 (to appear, 2009)
-
(2009)
Proc. of IE
, vol.2009
-
-
Mileo, A.1
Merico, D.2
Bisiani, R.3
-
8
-
-
34250209618
-
Enhanced reality fieldwork: The context-aware archaeological assistant
-
Ga.ney V., van Leusen M., Exxon, S. (eds.). British Archaeological Reports, Tempus Reparatum
-
Ryan, N.S., Pascoe, J., Morse, D.R.: Enhanced reality fieldwork: The context-aware archaeological assistant. In: Ga.ney, V., van Leusen, M., Exxon, S. (eds.) Computer Applications in Archaeology 1997. British Archaeological Reports, Tempus Reparatum (1998)
-
(1998)
Computer Applications in Archaeology 1997
-
-
Ryan, N.S.1
Pascoe, J.2
Morse, D.R.3
-
9
-
-
0029212397
-
Context-aware computing applications
-
IEEE Computer Society, Los Alamitos
-
Schilit, B., Adams, N., Want, R.: Context-aware computing applications. In: Proc. of theWorkshop on Mobile Computing Systems and Applications, pp. 85-90. IEEE Computer Society, Los Alamitos (1994)
-
(1994)
Proc. of TheWorkshop on Mobile Computing Systems and Applications
, pp. 85-90
-
-
Schilit, B.1
Adams, N.2
Want, R.3
-
10
-
-
0029098535
-
Practical functional assessment of elderly persons: A primary-care approach
-
Fleming, K.C., Evans, J.M., Weber, D.C., Chutka, D.S.: Practical functional assessment of elderly persons: A primary-care approach. Mayo Clinic 70, 890-910 (1995)
-
(1995)
Mayo Clinic
, vol.70
, pp. 890-910
-
-
Fleming, K.C.1
Evans, J.M.2
Weber, D.C.3
Chutka, D.S.4
-
11
-
-
70349855393
-
A logical approach to home healthcare with intelligent sensor-network support
-
bxn074
-
Merico, D., Mileo, A., Pinardi, S., Bisiani, R.: A Logical Approach to Home Healthcare with Intelligent Sensor-Network Support. The Computer Journal (2009) bxn074
-
(2009)
The Computer Journal
-
-
Merico, D.1
Mileo, A.2
Pinardi, S.3
Bisiani, R.4
-
13
-
-
38049073750
-
Gringo: A new grounder for answer set programming
-
Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. Springer, Heidelberg
-
Gebser, M., Schaub, T., Thiele, S.: Gringo: A new grounder for answer set programming. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol.4483, pp. 266-271. Springer, Heidelberg (2007)
-
(2007)
LNCS (LNAI)
, vol.4483
, pp. 266-271
-
-
Gebser, M.1
Schaub, T.2
Thiele, S.3
|