Search results for "KIF"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
78	Philippe Martin 0004	Knowledge Representation in CGLF, CGIF, KIF, Frame-CG and Formalized-English.	ICCS	2002	DBLP DOI BibTeX RDF
57	Bostjan Bercic, Mirko Vintar	Simple Life-Events Ontology in SU(M)O-KIF.	KMGov	2004	DBLP DOI BibTeX RDF
55	Keith Vanderveen, C. V. Ramamoorthy	Partial instantiation theorem proving for distributed resource location.	COMPSAC	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.	ISPRS Int. J. Geo Inf.	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.	Sensors	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.	CoRR	2024	DBLP DOI BibTeX RDF
36	Robert E. Kent	A KIF Formalization for the IFF Category Theory Ontology	CoRR	2011	DBLP BibTeX RDF
36	Humberto J. Abdelnur, Radu State, Olivier Festor	KiF: a stateful SIP fuzzer.	IPTComm	2007	DBLP DOI BibTeX RDF
36	David A. Clausi	K-means Iterative Fisher (KIF) unsupervised clustering algorithm applied to image texture segmentation.	Pattern Recognit.	2002	DBLP DOI BibTeX RDF
36	Matthew L. Ginsberg	Knowledge Interchange Format: the KIF of Death.	AI Mag.	1991	DBLP DOI BibTeX RDF
34	Jeong-il Song, Hanhyuk Chung, Eunseok Lee 0001	A Product Retrieval System for Electronic Commerce Based on KQML.	ICPP Workshops	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.	ICWS	2008	DBLP DOI BibTeX RDF
21	Ian Horrocks 0001, Andrei Voronkov	Reasoning Support for Expressive Ontology Languages Using a Theorem Prover.	FoIKS	2006	DBLP DOI BibTeX RDF
21	António Lopes 0001, Luís Miguel Botelho	Chomsky: A Content Language Translation Agent.	CEEMAS	2005	DBLP DOI BibTeX RDF
21	Travis D. Breaux, Joel W. Reed	Using Ontology in Hierarchical Information Clustering.	HICSS	2005	DBLP DOI BibTeX RDF
21	Wolfgang Degen, Barbara Heller, Heinrich Herre, Barry Smith 0001	GOL: toward an axiomatized upper-level ontology.	FOIS	2001	DBLP DOI BibTeX RDF
21	David A. Maluf, Gio Wiederhold	What the Logs Can Tell You: Mediation to Implement Feedback in Training.	ISMIS	2000	DBLP DOI BibTeX RDF
21	Houria Mihoubi, Ana Simonet, Michel Simonet	An Ontology Driven Approach to Ontology Translation.	DEXA	2000	DBLP DOI BibTeX RDF
21	Philippe Martin 0004	Conventions and Notations for Knowledge Representation and Retrieval.	ICCS	2000	DBLP DOI BibTeX RDF
21	Robert Meersman	Semantic Ontology Tools in IS Design.	ISMIS	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.	ICCS	1997	DBLP DOI BibTeX RDF
21	John F. Sowa	Relating Diagrams to Logic.	ICCS	1993	DBLP DOI BibTeX RDF