×

Found 342 Documents (Results 1–100)

Abductive reasoning with a large knowledge base for discourse processing. (English) Zbl 07823931

Bunt, Harry (ed.) et al., Computing meaning. Volume 4. Dordrecht: Springer. Text Speech Lang. Technol. 47, 107-127 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Analogical proportions and square of oppositions. (English) Zbl 1418.68194

Laurent, Anne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 443, 324-334 (2014).
MSC:  68T27 68T30
PDFBibTeX XMLCite
Full Text: DOI

Representing interventional knowledge in causal belief networks: uncertain conditional distributions per cause. (English) Zbl 1415.68223

Laurent, Anne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part III. Cham: Springer. Commun. Comput. Inf. Sci. 444, 223-232 (2014).
MSC:  68T30 68T37
PDFBibTeX XMLCite
Full Text: DOI

Antitone \(L\)-bonds. (English) Zbl 1415.68224

Laurent, Anne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part III. Cham: Springer. Commun. Comput. Inf. Sci. 444, 71-80 (2014).
MSC:  68T30 06A15
PDFBibTeX XMLCite
Full Text: DOI

\(L\)-fuzzy context sequences on complete lattices. (English) Zbl 1415.68221

Laurent, Anne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part III. Cham: Springer. Commun. Comput. Inf. Sci. 444, 31-40 (2014).
MSC:  68T30 06B23
PDFBibTeX XMLCite
Full Text: DOI

Splitting the structured paths in stratified graphs. (English) Zbl 1410.68349

Simian, Dana (ed.), Modelling and development of intelligent systems. Proceedings of the third international conference, Sibiu, Romania, October 10–12, 2013. Sibiu: “Lucian Blaga” University Press. 59-68 (2014).
MSC:  68T30 05C80 68R10
PDFBibTeX XMLCite

A logic of part and whole for buffered geometries. (English) Zbl 1394.68370

Endriss, Ulle (ed.) et al., STAIRS 2014. Proceedings of the 7th European starting AI researcher symposium, Prague, Czech Republic, August 18–19, 2014. Amsterdam: IOS Press (ISBN 978-1-61499-420-6/hbk; 978-1-61499-421-3/ebook). Frontiers in Artificial Intelligence and Applications 264, 91-100 (2014).
MSC:  68T27 68T30
PDFBibTeX XMLCite
Full Text: Link

Computing subjective expected utility using probabilistic description logics. (English) Zbl 1394.68354

Endriss, Ulle (ed.) et al., STAIRS 2014. Proceedings of the 7th European starting AI researcher symposium, Prague, Czech Republic, August 18–19, 2014. Amsterdam: IOS Press (ISBN 978-1-61499-420-6/hbk; 978-1-61499-421-3/ebook). Frontiers in Artificial Intelligence and Applications 264, 21-30 (2014).
MSC:  68T20 68T27 68T30
PDFBibTeX XMLCite
Full Text: Link

On the succinctness of query rewriting over shallow ontologies. (English) Zbl 1401.68316

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 57, 10 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Role of negative properties in knowledge modeling. (English) Zbl 1372.68237

Kovács, Emőd (ed.) et al., Proceedings of the 9th international conference on applied informatics (ICAI), Eger, Hungary, January 29 – February 1, 2014. Volume 1. Eger: Eszterhazy Karoly University of Applied Sciences (ISBN 978-615-5297-18-2). 67-74 (2014).
MSC:  68T30
PDFBibTeX XMLCite
Full Text: DOI

Mixing materialization and query rewriting for existential rules. (English) Zbl 1366.68314

Schaub, Torsten (ed.) et al., ECAI 2014. 21st European conference on artificial intelligence, Prague, Czech Republic, August 18–22, 2014. Proceedings. Including proceedings of the accompanied concerence on prestigious applications of intelligent systems (PAIS 2014). Amsterdam: IOS Press (ISBN 978-1-61499-418-3/pbk; 978-1-61499-419-0/ebook). Frontiers in Artificial Intelligence and Applications 263, 897-902 (2014).
MSC:  68T30
PDFBibTeX XMLCite
Full Text: Link

Coherence and compatibility of Markov logic networks. (English) Zbl 1366.68313

Schaub, Torsten (ed.) et al., ECAI 2014. 21st European conference on artificial intelligence, Prague, Czech Republic, August 18–22, 2014. Proceedings. Including proceedings of the accompanied concerence on prestigious applications of intelligent systems (PAIS 2014). Amsterdam: IOS Press (ISBN 978-1-61499-418-3/pbk; 978-1-61499-419-0/ebook). Frontiers in Artificial Intelligence and Applications 263, 891-896 (2014).
MSC:  68T30 68T05 68T27
PDFBibTeX XMLCite
Full Text: Link

Hybrid query answering over OWL ontologies. (English) Zbl 1366.68312

Schaub, Torsten (ed.) et al., ECAI 2014. 21st European conference on artificial intelligence, Prague, Czech Republic, August 18–22, 2014. Proceedings. Including proceedings of the accompanied concerence on prestigious applications of intelligent systems (PAIS 2014). Amsterdam: IOS Press (ISBN 978-1-61499-418-3/pbk; 978-1-61499-419-0/ebook). Frontiers in Artificial Intelligence and Applications 263, 855-860 (2014).
MSC:  68T30
PDFBibTeX XMLCite
Full Text: Link

Declarative spatial reasoning with Boolean combinations of axis-aligned rectangular polytopes. (English) Zbl 1366.68311

Schaub, Torsten (ed.) et al., ECAI 2014. 21st European conference on artificial intelligence, Prague, Czech Republic, August 18–22, 2014. Proceedings. Including proceedings of the accompanied concerence on prestigious applications of intelligent systems (PAIS 2014). Amsterdam: IOS Press (ISBN 978-1-61499-418-3/pbk; 978-1-61499-419-0/ebook). Frontiers in Artificial Intelligence and Applications 263, 795-800 (2014).
MSC:  68T30
PDFBibTeX XMLCite
Full Text: Link

From analogical proportions in lattices to proportional analogies in formal concepts. (English) Zbl 1366.68310

Schaub, Torsten (ed.) et al., ECAI 2014. 21st European conference on artificial intelligence, Prague, Czech Republic, August 18–22, 2014. Proceedings. Including proceedings of the accompanied concerence on prestigious applications of intelligent systems (PAIS 2014). Amsterdam: IOS Press (ISBN 978-1-61499-418-3/pbk; 978-1-61499-419-0/ebook). Frontiers in Artificial Intelligence and Applications 263, 627-632 (2014).
MSC:  68T30
PDFBibTeX XMLCite
Full Text: Link

Imprecise probabilistic Horn clause logic. (English) Zbl 1366.68292

Schaub, Torsten (ed.) et al., ECAI 2014. 21st European conference on artificial intelligence, Prague, Czech Republic, August 18–22, 2014. Proceedings. Including proceedings of the accompanied concerence on prestigious applications of intelligent systems (PAIS 2014). Amsterdam: IOS Press (ISBN 978-1-61499-418-3/pbk; 978-1-61499-419-0/ebook). Frontiers in Artificial Intelligence and Applications 263, 621-626 (2014).
MSC:  68T27 68T30 68T37
PDFBibTeX XMLCite
Full Text: Link

The logical difference for \(\mathscr{ELH}^r\)-terminologies using hypergraphs. (English) Zbl 1366.68309

Schaub, Torsten (ed.) et al., ECAI 2014. 21st European conference on artificial intelligence, Prague, Czech Republic, August 18–22, 2014. Proceedings. Including proceedings of the accompanied concerence on prestigious applications of intelligent systems (PAIS 2014). Amsterdam: IOS Press (ISBN 978-1-61499-418-3/pbk; 978-1-61499-419-0/ebook). Frontiers in Artificial Intelligence and Applications 263, 555-560 (2014).
MSC:  68T30 68T27
PDFBibTeX XMLCite
Full Text: Link

The complexity of reasoning with relative directions. (English) Zbl 1366.68308

Schaub, Torsten (ed.) et al., ECAI 2014. 21st European conference on artificial intelligence, Prague, Czech Republic, August 18–22, 2014. Proceedings. Including proceedings of the accompanied concerence on prestigious applications of intelligent systems (PAIS 2014). Amsterdam: IOS Press (ISBN 978-1-61499-418-3/pbk; 978-1-61499-419-0/ebook). Frontiers in Artificial Intelligence and Applications 263, 507-512 (2014).
MSC:  68T30 68Q25 68T27
PDFBibTeX XMLCite
Full Text: Link

Qualitative spatial and temporal reasoning with AND/OR linear programming. (English) Zbl 1366.68307

Schaub, Torsten (ed.) et al., ECAI 2014. 21st European conference on artificial intelligence, Prague, Czech Republic, August 18–22, 2014. Proceedings. Including proceedings of the accompanied concerence on prestigious applications of intelligent systems (PAIS 2014). Amsterdam: IOS Press (ISBN 978-1-61499-418-3/pbk; 978-1-61499-419-0/ebook). Frontiers in Artificial Intelligence and Applications 263, 495-500 (2014).
MSC:  68T30 90C05
PDFBibTeX XMLCite
Full Text: Link

Conflict resolution in partially ordered OWL DL ontologies. (English) Zbl 1366.68306

Schaub, Torsten (ed.) et al., ECAI 2014. 21st European conference on artificial intelligence, Prague, Czech Republic, August 18–22, 2014. Proceedings. Including proceedings of the accompanied concerence on prestigious applications of intelligent systems (PAIS 2014). Amsterdam: IOS Press (ISBN 978-1-61499-418-3/pbk; 978-1-61499-419-0/ebook). Frontiers in Artificial Intelligence and Applications 263, 471-476 (2014).
MSC:  68T30
PDFBibTeX XMLCite
Full Text: Link

Evolving multi-context systems. (English) Zbl 1366.68305

Schaub, Torsten (ed.) et al., ECAI 2014. 21st European conference on artificial intelligence, Prague, Czech Republic, August 18–22, 2014. Proceedings. Including proceedings of the accompanied concerence on prestigious applications of intelligent systems (PAIS 2014). Amsterdam: IOS Press (ISBN 978-1-61499-418-3/pbk; 978-1-61499-419-0/ebook). Frontiers in Artificial Intelligence and Applications 263, 375-380 (2014).
MSC:  68T30
PDFBibTeX XMLCite
Full Text: Link

Lower and upper approximations for depleting modules of description logic ontologies. (English) Zbl 1366.68304

Schaub, Torsten (ed.) et al., ECAI 2014. 21st European conference on artificial intelligence, Prague, Czech Republic, August 18–22, 2014. Proceedings. Including proceedings of the accompanied concerence on prestigious applications of intelligent systems (PAIS 2014). Amsterdam: IOS Press (ISBN 978-1-61499-418-3/pbk; 978-1-61499-419-0/ebook). Frontiers in Artificial Intelligence and Applications 263, 345-350 (2014).
MSC:  68T30 68T27
PDFBibTeX XMLCite
Full Text: Link

Towards practical deletion repair of inconsistent DL-programs. (English) Zbl 1366.68303

Schaub, Torsten (ed.) et al., ECAI 2014. 21st European conference on artificial intelligence, Prague, Czech Republic, August 18–22, 2014. Proceedings. Including proceedings of the accompanied concerence on prestigious applications of intelligent systems (PAIS 2014). Amsterdam: IOS Press (ISBN 978-1-61499-418-3/pbk; 978-1-61499-419-0/ebook). Frontiers in Artificial Intelligence and Applications 263, 285-290 (2014).
MSC:  68T30 68N17 68T27
PDFBibTeX XMLCite
Full Text: Link

Reducing global consistency to local consistency in ontology-based data access. (English) Zbl 1366.68302

Schaub, Torsten (ed.) et al., ECAI 2014. 21st European conference on artificial intelligence, Prague, Czech Republic, August 18–22, 2014. Proceedings. Including proceedings of the accompanied concerence on prestigious applications of intelligent systems (PAIS 2014). Amsterdam: IOS Press (ISBN 978-1-61499-418-3/pbk; 978-1-61499-419-0/ebook). Frontiers in Artificial Intelligence and Applications 263, 219-224 (2014).
MSC:  68T30 68P15
PDFBibTeX XMLCite
Full Text: Link

Lattice-based biclustering using partition pattern structures. (English) Zbl 1366.68301

Schaub, Torsten (ed.) et al., ECAI 2014. 21st European conference on artificial intelligence, Prague, Czech Republic, August 18–22, 2014. Proceedings. Including proceedings of the accompanied concerence on prestigious applications of intelligent systems (PAIS 2014). Amsterdam: IOS Press (ISBN 978-1-61499-418-3/pbk; 978-1-61499-419-0/ebook). Frontiers in Artificial Intelligence and Applications 263, 213-218 (2014).
MSC:  68T30 68T10
PDFBibTeX XMLCite
Full Text: Link

Multi-context systems for reactive reasoning in dynamic environments. (English) Zbl 1366.68280

Schaub, Torsten (ed.) et al., ECAI 2014. 21st European conference on artificial intelligence, Prague, Czech Republic, August 18–22, 2014. Proceedings. Including proceedings of the accompanied concerence on prestigious applications of intelligent systems (PAIS 2014). Amsterdam: IOS Press (ISBN 978-1-61499-418-3/pbk; 978-1-61499-419-0/ebook). Frontiers in Artificial Intelligence and Applications 263, 159-164 (2014).
MSC:  68T27 68T30
PDFBibTeX XMLCite
Full Text: arXiv Link

Symmetry-driven decision diagrams for knowledge compilation. (English) Zbl 1366.68300

Schaub, Torsten (ed.) et al., ECAI 2014. 21st European conference on artificial intelligence, Prague, Czech Republic, August 18–22, 2014. Proceedings. Including proceedings of the accompanied concerence on prestigious applications of intelligent systems (PAIS 2014). Amsterdam: IOS Press (ISBN 978-1-61499-418-3/pbk; 978-1-61499-419-0/ebook). Frontiers in Artificial Intelligence and Applications 263, 51-56 (2014).
MSC:  68T30
PDFBibTeX XMLCite
Full Text: Link

Extending acyclicity notions for existential rules. (English) Zbl 1366.68299

Schaub, Torsten (ed.) et al., ECAI 2014. 21st European conference on artificial intelligence, Prague, Czech Republic, August 18–22, 2014. Proceedings. Including proceedings of the accompanied concerence on prestigious applications of intelligent systems (PAIS 2014). Amsterdam: IOS Press (ISBN 978-1-61499-418-3/pbk; 978-1-61499-419-0/ebook). Frontiers in Artificial Intelligence and Applications 263, 39-44 (2014).
MSC:  68T30 68T27
PDFBibTeX XMLCite
Full Text: arXiv Link

Weak hierarchies: a central clustering structure. (English) Zbl 1365.62231

Aleskerov, Fuad (ed.) et al., Clusters, orders, and trees: methods and applications. In honor of Boris Mirkin’s 70th birthday. Collected papers based on the presentations at the international workshop, Moscow, Russia, December 12–13, 2012. New York, NY: Springer (ISBN 978-1-4939-0741-0/hbk; 978-1-4939-0742-7/ebook). Springer Optimization and Its Applications 92, 211-230 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Formal concept analysis methods for interactive ontology learning. (English) Zbl 1358.68239

Lehmann, Jens (ed.) et al., Perspectives on ontology learning. Amsterdam: IOS Press; Heidelberg: Akademische Verlagsgesellschaft AKA (ISBN 978-3-89838-694-4/pbk; 978-1-61499-378-0/pbk; 978-1-61499-379-7/ebook). Studies on the Semantic Web 18, 247-261 (2014).
MSC:  68T05 68T30
PDFBibTeX XMLCite

A description logic primer. (English) Zbl 1358.68276

Lehmann, Jens (ed.) et al., Perspectives on ontology learning. Amsterdam: IOS Press; Heidelberg: Akademische Verlagsgesellschaft AKA (ISBN 978-3-89838-694-4/pbk; 978-1-61499-378-0/pbk; 978-1-61499-379-7/ebook). Studies on the Semantic Web 18, 3-19 (2014).
MSC:  68T27 68T30 68-02
PDFBibTeX XMLCite
Full Text: arXiv

Heuristic-driven theory projection: an overview. (English) Zbl 1341.68232

Prade, Henri (ed.) et al., Computational approaches to analogical reasoning: current trends. Revised and extended versions of papers based on the presentations at the international workshop on similarity and analogy-based methods in AI, SAMAI ’12, co-located with the 20th European conference on artificial intelligence, ECAI ’12, Montpellier, France, August 27, 2012. Berlin: Springer (ISBN 978-3-642-54515-3/hbk; 978-3-642-54516-0/ebook). Studies in Computational Intelligence 548, 163-194 (2014).
MSC:  68T30 68T27
PDFBibTeX XMLCite
Full Text: DOI

Towards resolution-based reasoning for connected logics. (English) Zbl 1335.68252

Fernández, Maribel (ed.) et al., Proceedings of the 8th workshop on logical and semantic frameworks (LSFA 2013), São Paulo, Brazil, September 2–3, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 305, 85-102, electronic only (2014).
MSC:  68T27 03B35 03B45 68T15 68T30
PDFBibTeX XMLCite
Full Text: DOI

Formal contexts for algebraic domains. (English) Zbl 1337.68245

Liu, Ying-Ming (ed.) et al., Proceedings of the 6th international symposium on domain theory and its applications (ISDT), Changsha, China, October 25–29, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 301, 79-90, electronic only (2014).
MSC:  68T30 06B35
PDFBibTeX XMLCite
Full Text: DOI

Reductions and saturation reductions of (abstract) knowledge bases. (English) Zbl 1337.68248

Liu, Ying-Ming (ed.) et al., Proceedings of the 6th international symposium on domain theory and its applications (ISDT), Changsha, China, October 25–29, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 301, 139-151, electronic only (2014).
MSC:  68T30 68T37
PDFBibTeX XMLCite
Full Text: DOI

An improved depth-first control strategy for query-subquery nets in evaluating queries to Horn knowledge bases. (English) Zbl 1322.68189

Do, Tien Van (ed.) et al., Advanced computational methods for knowledge engineering. Proceedings of the 2nd international conference on computer science, applied mathematics and applications, ICCSAMA 2014, Budapest, Hungary, May 8–9, 2014. Cham: Springer (ISBN 978-3-319-06568-7/pbk; 978-3-319-06569-4/ebook). Advances in Intelligent Systems and Computing 282, 281-295 (2014).
MSC:  68T27 68P15 68T30
PDFBibTeX XMLCite
Full Text: DOI

An overview of fuzzy ontology integration methods based on consensus theory. (English) Zbl 1322.68196

Do, Tien Van (ed.) et al., Advanced computational methods for knowledge engineering. Proceedings of the 2nd international conference on computer science, applied mathematics and applications, ICCSAMA 2014, Budapest, Hungary, May 8–9, 2014. Cham: Springer (ISBN 978-3-319-06568-7/pbk; 978-3-319-06569-4/ebook). Advances in Intelligent Systems and Computing 282, 217-227 (2014).
MSC:  68T30 68T37
PDFBibTeX XMLCite
Full Text: DOI

Three-way decision based on belief function. (English) Zbl 1323.68477

Miao, Duoqian (ed.) et al., Rough sets and knowledge technology. 9th international conference, RSKT 2014, Shanghai, China, October 24–26, 2014. Proceedings. Cham: Springer (ISBN 978-3-319-11739-3/pbk; 978-3-319-11740-9/ebook). Lecture Notes in Computer Science 8818. Lecture Notes in Artificial Intelligence, 742-752 (2014).
MSC:  68T30 68T37
PDFBibTeX XMLCite
Full Text: DOI

Three-way formal concept analysis. (English) Zbl 1323.68474

Miao, Duoqian (ed.) et al., Rough sets and knowledge technology. 9th international conference, RSKT 2014, Shanghai, China, October 24–26, 2014. Proceedings. Cham: Springer (ISBN 978-3-319-11739-3/pbk; 978-3-319-11740-9/ebook). Lecture Notes in Computer Science 8818. Lecture Notes in Artificial Intelligence, 732-741 (2014).
MSC:  68T30 68T37
PDFBibTeX XMLCite
Full Text: DOI

Three-way weighted entropies and three-way attribute reduction. (English) Zbl 1323.68523

Miao, Duoqian (ed.) et al., Rough sets and knowledge technology. 9th international conference, RSKT 2014, Shanghai, China, October 24–26, 2014. Proceedings. Cham: Springer (ISBN 978-3-319-11739-3/pbk; 978-3-319-11740-9/ebook). Lecture Notes in Computer Science 8818. Lecture Notes in Artificial Intelligence, 707-719 (2014).
MSC:  68T37 68T30 94A17
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 3

Main Field

all top 3

Software