Movatterモバイル変換

[0]ホーム
URL:

PhilPapersPhilPeoplePhilArchivePhilEventsPhilJobs
Switch to: References

Citations of:

Computing with Logic: Logic Programming with Prolog

&
Prentice-Hall (1988)

Add citations

You mustlogin to add citations.
  1. Towards ABox Modularization of semi-expressive Description Logics.Sebastian Wandelt &Ralf Möller -2012 -Applied ontology 7 (2):133-167.
    In the last years, the vision of the Semantic Web fostered the interest in reasoning over large and very large sets of assertional statements in knowledge bases. Traditional tableau-based reasoning...
    Direct download(3 more)  
     
    Export citation  
     
    Bookmark  
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct

CDPPhiosophy Documentation Center
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).

Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation

Server: philpapers-web-54b44b69b7-k24bk uwo
[8]ページ先頭
©2009-2025 Movatter.jp