• Suche: "Logic Programming and Knowledge Representation"

Treffer 201 - 212 von 212

201

Generalizing updates: From models to programs
Leite, JoÃo Alexandre ; Pereira, Luís Moniz
Lecture Notes in Computer Science ; Logic Programming and Knowledge Representation ; page 224-246 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540649588 9783540498728

Buch
Zu den Favoriten
202

Partial evidential stable models for disjunctive deductive databases
Seipel, Dietmar
Lecture Notes in Computer Science ; Logic Programming and Knowledge Representation ; page 66-84 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540649588 9783540498728

Buch
Zu den Favoriten
203

Datalog with nested rules
Greco, Sergio ; Leone, Nicola ; Scarcello, Francesco
Lecture Notes in Computer Science ; Logic Programming and Knowledge Representation ; page 52-65 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540649588 9783540498728

Buch
Zu den Favoriten
204

Disjunctive logic programming and autoepistemic logic
Yuan, Li -Yan ; You, Jia -Huai ; Goebel, Randy
Lecture Notes in Computer Science ; Logic Programming and Knowledge Representation ; page 85-101 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540649588 9783540498728

Buch
Zu den Favoriten
205

Abduction, argumentation and bi-disjunctive logic programs
Wang, Kewen ; Chen, Huowang
Lecture Notes in Computer Science ; Logic Programming and Knowledge Representation ; page 139-163 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540649588 9783540498728

Buch
Zu den Favoriten
206

Automated Reasoning, Knowledge Representation and Management
Baumgartner, P. ; Furbach, U. ; Yahya, A.
KI - Künstliche Intelligenz

Fachzeitschrift
Zu den Favoriten
208

Action Specifications in {log}
Alessandro Provetti ; Ro Provetti ; Gianfranco Rossi ; et al.
http://www.cs.utep.edu/provetti/Papers/gulp97.ps.

Fachzeitschrift
Zu den Favoriten
209

Process Representation Using Transaction Logic
Reza Basseda ; The Pennsylvania State University CiteSeerX Archives
http://ceur-ws.org/Vol-1004/paper2.pdf.

Process Representation Transaction Logic
Fachzeitschrift
Zu den Favoriten
210

Partial Functions and Equality in Answer Set Programming
Pedro Cabalar ; The Pennsylvania State University CiteSeerX Archives
http://www.dc.fi.udc.es/.aios/~cabalar/pfeasp.pdf.

Fachzeitschrift
Zu den Favoriten
211

Knowledge Representation and Logic Programming
Nicola Leone ; Michael Gelfond
Artificial Intelligence. 138:1

Artificial Intelligence 0202 electrical engineer... 02 engineering and techn...
Fachzeitschrift
Zu den Favoriten
212

Positive models and universal propositions
Kasymov, N. Kh.

constructivizable model constructive models Knowledge representation Closed World Assumption Computable structure the... Logic programming …
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter