no help available
no help available
userThe blue social bookmark and publication sharing system.
actions for all displayed bookmarks:
export:
sort:
- criterion: date, title
- order: ascending, descending
others:
- display: all, bookmarks only
- bookmarks per page: 5 10 20 50 100
bookmarks (2)
actions for all displayed publications:
export:
sort:
- criterion: date, title
- order: ascending, descending
- advanced...
others:
- display: all, publications only
- publications per page: 5 10 20 50 100
publications (731)
- discussion
- concepts
- similar users more...
- tags
- lexicography
- ijl,
- hsk,
- lexicography,
- lexicographica,
- dictionary,
- preference
- preference,
- answer-set-programming,
- logic-programming,
- review
- partial-order,
- logic-programming
- planning
- english,
- monolingual
- idiom,
- asp,
- answer-set-programming
- german,
- monolingual,
- planning,
- answer-set,
- skyline
- synonymy
- model-checking,
- imported
- french,
- corpus,
- database,
- disjunctive-logic-programming,
- dlp,
- teaching
- psychology
- *cite
- italian,
- smodels
- phraseology
- etymology,
- collocation,
- indifference,
- partial-order
- linguistics,
- translation
- homonymy,
- optimization,
- semantic-web
- dlv,
- constraint,
- sense
- In order to support work in the fields of lexicography and terminology, IMS has developed a workbench for full-text retrieval from large textual resources (`corpora'). This work was initiated by the TC Project (`Text Corpora and Tools for their Exploitati · http://www.ims.uni-stuttgart.de/projekte/CorpusWorkbench/In order to support work in the fields of lexicography and terminology, IMS has developed a workbench for full-text retrieval from large textual resources (`corpora'). This work was initiated by the TC Project (`Text Corpora and Tools for their Exploitati · http://www.ims.uni-stuttgart.de/projekte/CorpusWorkbench/2 years and a month agoby baisemain3
- project to unite all existing open dictionaries and provide both users and developers with universal XML-based format · http://xdxf.revdanica.com/project to unite all existing open dictionaries and provide both users and developers with universal XML-based format · http://xdxf.revdanica.com/2 years and a month agoby baisemain2
- Fausto Giunchiglia, and Paolo Traverso. ECP, page 1--20. (1999)Fausto Giunchiglia, and Paolo Traverso. ECP, page 1--20. (1999)2 years and a month agoby baisemain2
- Stefan Edelkamp, Shahid Jabbar, and Mohmmed Nazih. (2006)Stefan Edelkamp, Shahid Jabbar, and Mohmmed Nazih. (2006)2 years and a month agoby baisemain1
- Tran C. Son, and Enrico Pontelli. In Proc. LPNMR'04, page 247--260. Springer, (2004)Tran C. Son, and Enrico Pontelli. In Proc. LPNMR'04, page 247--260. Springer, (2004)2 years and a month agoby baisemain2
- James P. Delgrande, and Torsten Schaub. Artificial Intelligence 123(1-2):41--87 (2000)James P. Delgrande, and Torsten Schaub. Artificial Intelligence 123(1-2):41--87 (2000)2 years and a month agoby baisemain2
- Minh B. Do, and Subbarao Kambhampati. Artificial Intelligence 132(2):151--182 (2001)Minh B. Do, and Subbarao Kambhampati. Artificial Intelligence 132(2):151--182 (2001)2 years and a month agoby baisemain2
- M. Ghallab, A. Howe, C. Knoblock, D. Mcdermott, A. Ram, M. Veloso, D. Weld, and D. Wilkins. (1998)M. Ghallab, A. Howe, C. Knoblock, D. Mcdermott, A. Ram, M. Veloso, D. Weld, and D. Wilkins. (1998)2 years and a month agoby baisemain1
- Henry A. Kautz, and Bart Selman. Proceedings of the Tenth European Conference on Artificial Intelligence ECAI'92, page 359--363. (1992)Henry A. Kautz, and Bart Selman. Proceedings of the Tenth European Conference on Artificial Intelligence ECAI'92, page 359--363. (1992)2 years and a month agoby baisemain4
- Marco Pistore, and Paolo Traverso. IJCAI, page 479--486. (2001)Marco Pistore, and Paolo Traverso. IJCAI, page 479--486. (2001)2 years and a month agoby baisemain2
- Giuseppe De Giacomo, and Moshe Y. Vardi. ECP, page 226--238. (1999)Giuseppe De Giacomo, and Moshe Y. Vardi. ECP, page 226--238. (1999)2 years and a month agoby baisemain2
- Fahiem Bacchus, and Froduald Kabanza. Proceedings of the Thirteenth National Conference on Artificial Intelligence AAAI-96, page 1215--1222. Portland, Oregon, USA, AAAI Press / The MIT Press, (1996)Fahiem Bacchus, and Froduald Kabanza. Proceedings of the Thirteenth National Conference on Artificial Intelligence AAAI-96, page 1215--1222. Portland, Oregon, USA, AAAI Press / The MIT Press, (1996)2 years and a month agoby baisemain2
- Ilkka Niemelä, and Patrik Simons. Logic-Based Artificial Intelligence, Kluwer Academic Publishers, Dordrecht, (2000)Ilkka Niemelä, and Patrik Simons. Logic-Based Artificial Intelligence, Kluwer Academic Publishers, Dordrecht, (2000)2 years and a month agoby baisemain1
- Vladimir Lifschitz. Artificial Intelligence 138(1-2):39--54 (2002)Vladimir Lifschitz. Artificial Intelligence 138(1-2):39--54 (2002)2 years and a month agoby baisemain2
- S. Moyle, and S. Muggleton. International Workshop on Inductive Logic Programming, page 205--212. (1997)S. Moyle, and S. Muggleton. International Workshop on Inductive Logic Programming, page 205--212. (1997)2 years and a month agoby baisemain2
- Gerhard Brewka. Synthese 146(1-2):171--187 (August 2005)Gerhard Brewka. Synthese 146(1-2):171--187 (August 2005)2 years and a month agoby baisemain1
- Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, and Paolo Traverso. IJCAI, page 473--478. (2001)Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, and Paolo Traverso. IJCAI, page 473--478. (2001)2 years and a month agoby baisemain2
- Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore, Marco Roveri, and Paolo Traverso. (2001)Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore, Marco Roveri, and Paolo Traverso. (2001)2 years and a month agoby baisemain1
- Gerhard Brewka, Ilkka Niemelä, and Miroslaw Truszczynski. (2003)Gerhard Brewka, Ilkka Niemelä, and Miroslaw Truszczynski. (2003)2 years and a month agoby baisemain1
- Gerhard Brewka, Ilkka Niemelä, and T. Syrjanen. (2002)Gerhard Brewka, Ilkka Niemelä, and T. Syrjanen. (2002)2 years and a month agoby baisemain1
- Kannan Govindarajan, Bharat Jayaraman, and Surya Mantha. 94-12. (January 1994)Kannan Govindarajan, Bharat Jayaraman, and Surya Mantha. 94-12. (January 1994)2 years and a month agoby baisemain1
- Mauricio Osorio, and Enrique Corona. (2003)Mauricio Osorio, and Enrique Corona. (2003)2 years and a month agoby baisemain2