Zum Inhalt springen

Baral, Chitta [VerfasserIn]

Knowledge representation, reasoning and declarative problem solving - [First paperback pr.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge [u.a.]: Cambridge University Press, 2010
Baral, Chitta [VerfasserIn]

Knowledge representation, reasoning and declarative problem solving - [1. publ.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge [u.a.]: Cambridge University Press, 2003
Boley, Harold [HerausgeberIn]; Richter, Michael M. [Sonstige Person, Familie und Körperschaft] ; PDK 1991 Kaiserslautern

Processing declarative knowledge : International Workshop PDK '91, Kaiserslautern, Germany, July 1 - 3, 1991 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1991

Erschienen in: Lecture notes in computer science ; 567
Delgrande, James P. [VerfasserIn]; Glimm, Birte [VerfasserIn]; Meyer, Thomas [VerfasserIn]; Truszczynski, Miroslaw [VerfasserIn]; Teixeira, Milene Santos [VerfasserIn]; Wolter, Frank [VerfasserIn] ; James P. Delgrande and Birte Glimm and Thomas Meyer and Miroslaw Truszczynski and Milene Santos Teixeira and Frank Wolter [MitwirkendeR]

Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282)

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
Blockeel, Hendrik [VerfasserIn]; Bogaerts, Bart [VerfasserIn]; Bruynooghe, Maurice [VerfasserIn]; De Cat, Broes [VerfasserIn]; De Pooter, Stef [VerfasserIn]; Denecker, Marc [VerfasserIn]; Labarre, Anthony [VerfasserIn]; Ramon, Jan [VerfasserIn]; Verwer, Sicco [VerfasserIn] ; Hendrik Blockeel and Bart Bogaerts and Maurice Bruynooghe and Broes De Cat and Stef De Pooter and Marc Denecker and Anthony Labarre and Jan Ramon and Sicco Verwer [MitwirkendeR]

Modeling Machine Learning and Data Mining Problems with FO(·)

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012
Suchan, Jakob [VerfasserIn] ; Bhatt, Mehul [AkademischeR BetreuerIn]; Krieg-Brückner, Bernd [AkademischeR BetreuerIn] Universität Bremen

Declarative reasoning about space and motion in visual imagery : theoretical foundations and applications

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Bremen, 2022
Viry, Matthieu [VerfasserIn] ; Université Grenoble Alpes [MitwirkendeR]; Villanova-Oliver, Marlène [MitwirkendeR]; Davoine, Paule-Annick [MitwirkendeR]

Une approche déclarative basée sur les technologies du Web sémantique pour spécifier et générer des géovisualisations adaptatives ; A declarative approach based on Semantic Web technologies to specify and generate adaptive geovisualisations

Online ansehen
Schließen

Links

http://www.theses.fr/2021GRALM073/document

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

theses.fr, 2021-12-16
Gabbrielli, Maurizio [VerfasserIn] ; Association for Computing Machinery, ACM Special Interest Group on Programming Languages

Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via ACM Digital Library)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New York, NY: ACM, 2000

Erschienen in: ACM Digital Library- ACM Conferences
Cheney, James [HerausgeberIn]; Perri, Simona [HerausgeberIn]

Practical Aspects of Declarative Languages : 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings - [1st ed. 2022.]

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cham: Springer International Publishing, 2022. ; Cham: Imprint: Springer, 2022.

Erschienen in: Programming and Software Engineering ; 13165
Decker, Stefan [VerfasserIn]

On domain-specific declarative knowledge representation and database languages

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

KITopen (Karlsruhe Institute of Technologie), 2007-08-02
Basset, Louis [VerfasserIn]

La représentation subjective d'un point de vue passé l'optatif oblique dans les complétives déclaratives chez Thucydide

Online ansehen
Schließen

Zugang

https://www.persee.fr/doc/mom_0184-1785_2004_mon_32_1_2808

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Erschienen in: Collection de la Maison de l'Orient méditerranéen ancien. Série philologique ; Vol. 32, n° 1, pp. 19-40
Sacerdoti Coen, Claudio

Declarative Representation of Proof Terms

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2010

Erschienen in: Journal of Automated Reasoning
Brewka, Gerhard

Declarative Representation of Revision Strategies*

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Informa UK Limited, 2001

Erschienen in: Journal of Applied Non-Classical Logics
Forkman, B.

Domestic hens have declarative representations

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2000

Erschienen in: Animal Cognition
Singh, M.P.; Huhns, M.N.; Stephens, L.M.

Declarative representations of multiagent systems

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Institute of Electrical and Electronics Engineers (IEEE), 1993

Erschienen in: IEEE Transactions on Knowledge and Data Engineering
Robertson, Justus; Young, R. Michael

Automated Gameplay Generation from Declarative World Representations

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for the Advancement of Artificial Intelligence (AAAI), 2021

Erschienen in: Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment
Miller, Andrew K.; Britten, Randall D.; Nielsen, Poul M. F.

Declarative Representation of Uncertainty in Mathematical Models

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Public Library of Science (PLoS), 2012

Erschienen in: PLoS ONE
Andrew, Alex M.

Knowledge Representation, Reasoning and Declarative Problem Solving

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Emerald, 2004

Erschienen in: Kybernetes
BENAROCH, MICHEL

Declarative representation of strategic control knowledge

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2001

Erschienen in: International Journal of Human-Computer Studies
Cohen, P.R.; DeLisio, J.; Hart, D.

A declarative representation of control knowledge

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Institute of Electrical and Electronics Engineers (IEEE), 1989

Erschienen in: IEEE Transactions on Systems, Man, and Cybernetics

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr