|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 8 keywords
|
|
|
Results
Found 23 publication records. Showing 22 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
78 | Philippe Martin 0004 |
Knowledge Representation in CGLF, CGIF, KIF, Frame-CG and Formalized-English. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Integration and Interfaces, 10th International Conference on Conceptual Structures, ICCS 2002, Borovets, Bulgaria, July 15-19, 2002, Proceedings, pp. 77-91, 2002, Springer, 3-540-43901-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
57 | Bostjan Bercic, Mirko Vintar |
Simple Life-Events Ontology in SU(M)O-KIF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KMGov ![In: Knowledge Management in Electronic Government, 5th IFIP International Working Conference, KMGov 2004, Krems, Austria, May 17-19, 2004, Proceedings, pp. 128-135, 2004, Springer, 3-540-22002-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
55 | Keith Vanderveen, C. V. Ramamoorthy |
Partial instantiation theorem proving for distributed resource location. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 192-197, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
partial instantiation theorem prover, distributed resource location, INSTANT, clausal form, non clausal form, GSAT algorithm, propositional sentence, request matching, CORBA Object Trading Service, KIF, theorem proving, satisfiability, first order logic, KQML |
48 | A'kif Al-Fugara, Ali Nouh Mabdeh, Mohammad Ahmadlou, Hamid Reza Pourghasemi, Rida Al-Adamat, Biswajeet Pradhan, Abdel Rahman Al-Shabeeb |
Wildland Fire Susceptibility Mapping Using Support Vector Regression and Adaptive Neuro-Fuzzy Inference System-Based Whale Optimization Algorithm and Simulated Annealing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPRS Int. J. Geo Inf. ![In: ISPRS Int. J. Geo Inf. 10(6), pp. 382, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
48 | Saleh T. Daqamseh, A'kif Al-Fugara, Biswajeet Pradhan, Anas M. Al-Oraiqat, Maan Habib |
MODIS Derived Sea Surface Salinity, Temperature, and Chlorophyll-a Data for Potential Fish Zone Mapping: West Red Sea Coastal Areas, Saudi Arabia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 19(9), pp. 2069, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
36 | Guilherme Lima, Marcelo Machado 0001, Elton F. S. Soares, Sandro Rama Fiorini, Raphael Thiago, Leonardo Guerreiro Azevedo, Viviane Torres da Silva, Renato Cerqueira |
KIF: A Framework for Virtual Integration of Heterogeneous Knowledge Bases using Wikidata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.10304, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
36 | Robert E. Kent |
A KIF Formalization for the IFF Category Theory Ontology ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1109.0333, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
36 | Humberto J. Abdelnur, Radu State, Olivier Festor |
KiF: a stateful SIP fuzzer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPTComm ![In: Principles, Systems and Applications of IP Telecommunications. First International Conference, IPTComm 2007, New York, NY, USA, July 19-20, 2007. Proceedings, pp. 47-56, 2007, ACM, 978-1-60558-006-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | David A. Clausi |
K-means Iterative Fisher (KIF) unsupervised clustering algorithm applied to image texture segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. ![In: Pattern Recognit. 35(9), pp. 1959-1972, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
36 | Matthew L. Ginsberg |
Knowledge Interchange Format: the KIF of Death. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Mag. ![In: AI Mag. 12(3), pp. 57-63, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
34 | Jeong-il Song, Hanhyuk Chung, Eunseok Lee 0001 |
A Product Retrieval System for Electronic Commerce Based on KQML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: Proceedings of the 1999 International Conference on Parallel Processing Workshops, ICPPW 1999, Wakamatsu, Japan, September 21-24, 1999, pp. 387-393, 1999, IEEE Computer Society, 0-7695-0353-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
KIF, ontology, Agent, retrieval, ACL, KQML |
21 | Youssef Gamha, Nacéra Bennacer, Guy Vidal-Naquet, Béchir el Ayeb, Lotfi Ben Romdhane |
A Framework for the Semantic Composition of Web Services Handling User Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2008 IEEE International Conference on Web Services (ICWS 2008), September 23-26, 2008, Beijing, China, pp. 228-237, 2008, IEEE Computer Society, 978-0-7695-3310-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Ian Horrocks 0001, Andrei Voronkov |
Reasoning Support for Expressive Ontology Languages Using a Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoIKS ![In: Foundations of Information and Knowledge Systems, 4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings, pp. 201-218, 2006, Springer, 3-540-31782-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | António Lopes 0001, Luís Miguel Botelho |
Chomsky: A Content Language Translation Agent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEEMAS ![In: Multi-Agent Systems and Applications IV, 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Proceedings, pp. 535-538, 2005, Springer, 3-540-29046-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Travis D. Breaux, Joel W. Reed |
Using Ontology in Hierarchical Information Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 38th Hawaii International Conference on System Sciences (HICSS-38 2005), CD-ROM / Abstracts Proceedings, 3-6 January 2005, Big Island, HI, USA, 2005, IEEE Computer Society, 0-7695-2268-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Wolfgang Degen, Barbara Heller, Heinrich Herre, Barry Smith 0001 |
GOL: toward an axiomatized upper-level ontology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOIS ![In: 2nd International Conference on Formal Ontology in Information Systems, FOIS 2001, Ogunquit, Maine, USA, October 17-19, 2001, Proceedings., pp. 34-46, 2001, ACM, 1-58113-377-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | David A. Maluf, Gio Wiederhold |
What the Logs Can Tell You: Mediation to Implement Feedback in Training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 12th International Symposium, ISMIS 2000, Charlotte, NC, USA, October 11-14, 2000, Proceedings, pp. 368-376, 2000, Springer, 3-540-41094-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Houria Mihoubi, Ana Simonet, Michel Simonet |
An Ontology Driven Approach to Ontology Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 11th International Conference, DEXA 2000, London, UK, September 4-8, 2000, Proceedings, pp. 573-582, 2000, Springer, 3-540-67978-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Philippe Martin 0004 |
Conventions and Notations for Knowledge Representation and Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Logical, Linguistic, and Computational Issues, 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000, Proceedings, pp. 41-54, 2000, Springer, 3-540-67859-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Robert Meersman |
Semantic Ontology Tools in IS Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 11th International Symposium, ISMIS '99, Warsaw, Poland, June 8-11, 1999, Proceedings, pp. 30-45, 1999, Springer, 3-540-65965-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Philippe Martin 0004 |
The WebKB Set of Tools: A Common Scheme for Shared WWW Annotations, Shared Knowledge Bases and Information Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Fulfilling Peirce's Dream, Fifth International Conference on Conceptual Structures, ICCS '97, Seattle, Washington, USA, August 3-8, 1997, Proceedings, pp. 585-588, 1997, Springer, 3-540-63308-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
21 | John F. Sowa |
Relating Diagrams to Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Graphs for Knowledge Representation, ICCS '93, Quebec City, Canada, August 4-7, 1993, Proceedings, pp. 1-35, 1993, Springer, 3-540-56979-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #22 of 22 (100 per page; Change: )
|
|