Pascal and Francis Bibliographic Databases

Help

Search results

Your search

ti.\*:("Logics in artificial intelligence (10th European conference, JELIA 2006, Liverpool, UK, September 13-15, 2006)")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 50

  • Page / 2
Export

Selection :

  • and

Inconsistencies in ontologiesVORONKOV, Andrei.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-39625-X, 1Vol, p. 19Conference Paper

Hierarchical argumentationMODGIL, S.Lecture notes in computer science. 2006, pp 319-332, issn 0302-9743, isbn 3-540-39625-X, 1Vol, 14 p.Conference Paper

Logics in artificial intelligence (10th European conference, JELIA 2006, Liverpool, UK, September 13-15, 2006)Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-39625-X, 1Vol, XII-516 p, isbn 3-540-39625-XConference Proceedings

Whatever you sayHUNSBERGER, Luke.Lecture notes in computer science. 2006, pp 229-241, issn 0302-9743, isbn 3-540-39625-X, 1Vol, 13 p.Conference Paper

A fault-tolerant default logicZHANGANG LIN; YUE MA; ZUOQUAN LIN et al.Lecture notes in computer science. 2006, pp 253-265, issn 0302-9743, isbn 3-540-39625-X, 1Vol, 13 p.Conference Paper

April : An inductive logic programming systemFONSECA, Nuno A; SILVA, Fernando; CAMACHO, Rui et al.Lecture notes in computer science. 2006, pp 481-484, issn 0302-9743, isbn 3-540-39625-X, 1Vol, 4 p.Conference Paper

On herbrand's theorem for intuitionistic logicLYALETSKI, Alexander; KONEV, Boris.Lecture notes in computer science. 2006, pp 293-305, issn 0302-9743, isbn 3-540-39625-X, 1Vol, 13 p.Conference Paper

On the logic and computation of partial equilibrium modelsCABALAR, Pedro; ODINTSOV, Sergei; PEARCE, David et al.Lecture notes in computer science. 2006, pp 82-94, issn 0302-9743, isbn 3-540-39625-X, 1Vol, 13 p.Conference Paper

Representing action domains with numeric-valued fluentsERDEM, Esra; GABALDON, Alfredo.Lecture notes in computer science. 2006, pp 151-163, issn 0302-9743, isbn 3-540-39625-X, 1Vol, 13 p.Conference Paper

Reasoning about actions using description logics with general TBoxesHONGKAI LIU; LUTZ, Carsten; MILICIC, Maja et al.Lecture notes in computer science. 2006, pp 266-279, issn 0302-9743, isbn 3-540-39625-X, 1Vol, 14 p.Conference Paper

A tool for answering queries on action descriptionsEITER, Thomas; FINK, Michael; SENKO, Jan et al.Lecture notes in computer science. 2006, pp 473-476, issn 0302-9743, isbn 3-540-39625-X, 1Vol, 4 p.Conference Paper

A formal analysis of KGP agentsSADRI, F; TONI, F.Lecture notes in computer science. 2006, pp 413-425, issn 0302-9743, isbn 3-540-39625-X, 1Vol, 13 p.Conference Paper

A tool to facilitate agent deliberationBRYANT, Daniel; KRAUSE, Paul; MOSCHOYIANNIS, Sotiris et al.Lecture notes in computer science. 2006, pp 465-468, issn 0302-9743, isbn 3-540-39625-X, 1Vol, 4 p.Conference Paper

Anti-prenexing and prenexing for modal logicsNALON, Claudia; DIXON, Clare.Lecture notes in computer science. 2006, pp 333-345, issn 0302-9743, isbn 3-540-39625-X, 1Vol, 13 p.Conference Paper

Comparing action descriptions based on semantic preferencesEITER, Thomas; ERDEM, Esra; FINK, Michael et al.Lecture notes in computer science. 2006, pp 124-137, issn 0302-9743, isbn 3-540-39625-X, 1Vol, 14 p.Conference Paper

Incomplete knowledge in hybrid probabilistic logic programsSAAD, Emad.Lecture notes in computer science. 2006, pp 399-412, issn 0302-9743, isbn 3-540-39625-X, 1Vol, 14 p.Conference Paper

Irrelevant updates and nonmonotonic assumptionsSEFRANEK, Jan.Lecture notes in computer science. 2006, pp 426-438, issn 0302-9743, isbn 3-540-39625-X, 1Vol, 13 p.Conference Paper

The QBFEVAL web portalNARIZZANO, Massimo; PULINA, Luca; TACCHELLA, Armando et al.Lecture notes in computer science. 2006, pp 494-497, issn 0302-9743, isbn 3-540-39625-X, 1Vol, 4 p.Conference Paper

Automated reasoning about metric and topologyHUSTADT, Ullrich; TISHKOVSKY, Dmitry; WOLTER, Frank et al.Lecture notes in computer science. 2006, pp 490-493, issn 0302-9743, isbn 3-540-39625-X, 1Vol, 4 p.Conference Paper

Knowledge base revision in description logicsGUILIN QI; WEIRU LIU; BELL, David A et al.Lecture notes in computer science. 2006, pp 386-398, issn 0302-9743, isbn 3-540-39625-X, 1Vol, 13 p.Conference Paper

On arbitrary selection strategies for basic superpositionALEKSIC, Vladimir; DEGTYAREV, Anatoli.Lecture notes in computer science. 2006, pp 20-28, issn 0302-9743, isbn 3-540-39625-X, 1Vol, 9 p.Conference Paper

A STIT-extension of ATLBROERSEN, Jan; HERZIG, Andreas; TROQUARD, Nicolas et al.Lecture notes in computer science. 2006, pp 69-81, issn 0302-9743, isbn 3-540-39625-X, 1Vol, 13 p.Conference Paper

A modularity approach for a fragment of ALCHERZIG, Andreas; VARZINCZAK, Ivan.Lecture notes in computer science. 2006, pp 216-228, issn 0302-9743, isbn 3-540-39625-X, 1Vol, 13 p.Conference Paper

Decidable fragments of logic programming with value inventionCALIMERI, Francesco; COZZA, Susanna; IANNI, Giovambattista et al.Lecture notes in computer science. 2006, pp 95-110, issn 0302-9743, isbn 3-540-39625-X, 1Vol, 16 p.Conference Paper

Distance-based repairs of databasesARIELI, Ofer; DENECKER, Marc; BRUYNOOGHE, Maurice et al.Lecture notes in computer science. 2006, pp 43-55, issn 0302-9743, isbn 3-540-39625-X, 1Vol, 13 p.Conference Paper

  • Page / 2