Results 1 - 10 of 86 for General Search
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Show only
- Full Text Online (85)
- Peer-reviewed Journals (67)
- Available in the Library (3)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Book
|
|
A Tight, Practical Integration of Relations and FunctionsHarold BoleySpringer Berlin Heidelberg 1999Online access. The library also has physical copies. |
| 2 |
Material Type: Book
|
|
Rules and Rule Markup Languages for the Semantic WebRuleML 2004 Grigoris Antoniou; Harold BoleySpringer Berlin / Heidelberg 2004Online access |
| 3 |
Material Type: Book
|
|
Processing declarative knowledge proceedingsInternational Workshop on Processing Declarative Knowledge, Kaiserlautern, 1991 Harold BoleyBerlin Springer 1991Available at ICMC - Inst. Ciên. Mat. Computação (68-02 Lnai v.567 e.1 ) and other locations(GetIt) |
| 4 |
Material Type: Book
|
|
Rules and rule markup languages for the Semantic Web third international workshop, RuleML 2004, Hiroshima, Japan, November 8 2004 : proceedingsRuleML 2004 (2004 Hiroshima-shi, Japan) G Antoniou (Grigoris); H Boley (Harold)Berlin Springer New York c2004Online access. The library also has physical copies. |
| 5 |
Material Type: Conference Proceeding
|
|
Bossam: An Extended Rule Engine for OWL InferencingJang, Minsu ; Sohn, Joo-ChanLecture notes in computer science, 2004, p.128-138 [Peer Reviewed Journal]Berlin, Heidelberg: Springer Berlin HeidelbergFull text available |
| 6 |
Material Type: Conference Proceeding
|
|
Combining Rule and Ontology Reasoners for the Semantic WebGolbreich, ChristineLecture notes in computer science, 2004, p.6-22 [Peer Reviewed Journal]Berlin, Heidelberg: Springer Berlin HeidelbergFull text available |
| 7 |
Material Type: Book
|
|
Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004, ProceedingsAntoniou, Grigoris ; Boley, Harold Antoniou, Grigoris ; Boley, HaroldBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Full text available |
| 8 |
Material Type: Conference Proceeding
|
|
Combining Description Logic and Defeasible Logic for the Semantic WebWang, Kewen ; Billington, David ; Blee, Jeff ; Antoniou, GrigorisLecture notes in computer science, 2004, p.170-181 [Peer Reviewed Journal]Berlin, Heidelberg: Springer Berlin HeidelbergFull text available |
| 9 |
Material Type: Conference Proceeding
|
|
Defeasible Description LogicsGovernatori, GuidoLecture notes in computer science, 2004, p.98-112 [Peer Reviewed Journal]Berlin, Heidelberg: Springer Berlin HeidelbergFull text available |
| 10 |
Material Type: Book Chapter
|
|
Well-Founded Semantics for Description Logic Programs in the Semantic WebEiter, Thomas ; Lukasiewicz, Thomas ; Schindlauer, Roman ; Tompits, HansLecture notes in computer science, 2004, p.81-97 [Peer Reviewed Journal]Berlin, Heidelberg: Springer Berlin HeidelbergFull text available |
Results 1 - 10 of 86 for General Search
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Personalize your results
Refine Search Results
Expand My Results
Show only
- Full Text Online (85)
- Peer-reviewed Journals (67)
- Available in the Library (3)
Refine My Results
Resource Type
- Conference Proceedings (51)
- Book Chapters (16)
- Articles (10)
- Books (8)
- Reviews (1)
-
More options
Subject
- Computer Science (35)
- Science & Technology (32)
- Technology (30)
- Computer Science, Artificial Intelligence (25)
- Artificial Intelligence (22)
- Computer Science, Information Systems (21)
- Computer Science, Theory & Methods (21)
- Exact Sciences And Technology (21)
- Applied Sciences (21)
- Computer Science; Control Theory; Systems (21)
- Software (20)
- Learning And Adaptive Systems (19)
- Computer Systems And Distributed Systems. User Interface (19)
- Logic Program (19)
- Logic Programming (15)
- Description Logic (11)
- Knowledge Representation (7)
- Councils (6)
- Semantic Web (6)
- Horn Clause (5)
- Inteligência Artificial (2)
- Web Semântica (Congressos) (1)
- Ontologia (Congressos) (1)
- Relational Databases (1)
- Functional Programming (Computer Science) (1)
- Document Markup Languages (1)
- Document Markup Languages (1)
- Lógica Matemática (1)
- Metadata (1)
- Metadata (1)
- Linguagem De Programação (1)
- Relational Databases (1)
- Inteligência Artificial (Congressos) (1)
-
More options
Author/Creator
Creation Date
- Before1986 (3)
- 1986To1991 (13)
- 1992To2003 (7)
- 2004To2007 (56)
- After 2007 (12)
-
More options
Library
Database/Library
- SpringerLINK Lecture Notes in Computer Science (2015) (59)
- SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) (58)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (38)
- Springer Books (38)
- SpringerLink Books Lecture Notes in Computer Science Archive (37)
- Springer Books Online Archive (37)
- Science Citation Index Expanded (Web of Science) (25)
- IEEE Electronic Library (IEL) Conference Proceedings (12)
- EZB Electronic Journals Library (8)
- Elsevier ScienceDirect Journals (5)
- ACM Digital Library Complete (4)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (3)
- Academic Search Premier (3)
- JSTOR Complete Journals (2)
- University of Chicago Press Journals (Full run) (2)
- JSTOR Arts and Sciences III (2)
- DOAJ Directory of Open Access Journals (2)
- JSTOR Early Journal Content (2)
- ClinicalKey (1)
- Wiley Online Library Journals (1)
-
More options
Journal Title
- Theoretical Computer Science (2)
- The Journal Of Religion (2)
- Lecture Notes in Artificial Intelligence (1)
- Journal Of Intelligent Systems (1)
- American Journal Of Obstetrics And Gynecology (1)
- International Archives Of The Photogrammetry, Remote Sensing And Spatial Information Sciences. (1)
- Sigplan Notices (1)
- Artificial Intelligence (1)
- Computers & Mathematics With Applications (1)
- Computational Intelligence (1)
-
More options
Home Page
RSS
Feed
Policies
Contact Us-
Implemented by:
Social Network Logos: 