Wyniki wyszukiwania dla: Hans Tompits
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Technical Papers > 71-83
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Regular Papers > 87-99
Lecture Notes in Computer Science > Symbolic and Quantitative Approaches to Reasoning with Uncertainty > Logics > 528-539
Lecture Notes in Computer Science > Knowledge Science, Engineering and Management > Invited Talks > 1-22
Lecture Notes in Computer Science > Foundations of Information and Knowledge Systems > Regular Papers > 24-41
Lecture Notes in Computer Science > Rules and Rule Markup Languages for the Semantic Web > Regular Papers > 81-97
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Non-monotonic Reasoning > 407-421
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > System Descriptions > 361-364
Lecture Notes in Computer Science > The Semantic Web: Research and Applications > Rules and Reasoning > 273-287
Lecture Notes in Computer Science > Logics in Artificial Intelligence > Paraconsistent Reasoning > 320-331
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Contributed Research Papers > 141-155
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Technical Papers > 123-135
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Short Technical Papers > 254-259
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Session 2. Technical Papers > 264-276
Lecture Notes in Computer Science > Logic Programming and Nonmotonic Reasoning > System Description > 411-415
Lecture Notes in Computer Science > Logic Programming > Theory > 160-174