Search results
Jump to navigation
Jump to search
Page title matches
- ...conference|title=Description Logics: Foundations for Class-based Knowledge Representation|author1=Diego Calvanese|author2=Giuseppe De Giacomo|author3=Maurizio Lenzer [[Category:Knowledge representation]] ...8 KB (1,188 words) - 23:54, 31 December 2024
Page text matches
- {{Short description|Knowledge representation computer programming language}} ...k.a. '''FO-dot''') is a [[Knowledge representation and reasoning|knowledge representation]] language based on [[first-order logic]] (FO).<ref>{{cite journal |last1=D ...5 KB (577 words) - 08:44, 19 June 2024
- ...ndeed defined in the context of [[open world assumption]], where the given knowledge base is assumed to be incomplete. ...when querying a given [[knowledge base]], considering both the extensional knowledge that the possible implications inferred by [[automatic reasoning]], regardl ...4 KB (597 words) - 15:42, 8 December 2024
- | fields = [[Artificial intelligence]], [[knowledge representation and reasoning]], and [[database theory]] ...ientist who works in the areas of [[artificial intelligence]], [[knowledge representation and reasoning]], and [[database theory]].<ref>{{cite web |title="Siamo i ca ...6 KB (791 words) - 02:56, 8 May 2024
- ...conference|title=Description Logics: Foundations for Class-based Knowledge Representation|author1=Diego Calvanese|author2=Giuseppe De Giacomo|author3=Maurizio Lenzer [[Category:Knowledge representation]] ...8 KB (1,188 words) - 23:54, 31 December 2024
- ...|title=Applications of conceptual spaces: the case for geometric knowledge representation |series=[[Synthese]] library: studies in epistemology, logic, methodology, ...|title=Applications of conceptual spaces: the case for geometric knowledge representation |series=[[Synthese]] library: studies in epistemology, logic, methodology, ...4 KB (532 words) - 22:44, 28 April 2024
- ...rt description|Duality between the process of restricting and inducting in representation theory}} ...them. It is named for [[Ferdinand Georg Frobenius]], the inventor of the [[representation theory of finite groups]]. ...9 KB (1,379 words) - 14:56, 23 September 2023
- ...Liu.<ref>Liu, Liping, Catherine Shenoy, and Prakash P. Shenoy, “Knowledge Representation and Integration for Portfolio Evaluation Using Linear Belief Functions,” IE ...ion is described by a [[normal distribution]]; along other dimensions, our knowledge is [[vacuous]], i.e., the true value is somewhere from –∞ to +∞ but the ass ...23 KB (3,505 words) - 15:37, 4 October 2024
- ...enetic databases|last1 = Deepak|first1 = Akshay|date = July 2013|journal = Knowledge and Information Systems|volume = 41|issue = 3|pages = 559–590|doi = 10.1007 ..., C. (2004). "[https://link.springer.com/book/10.1007%2Fb97861 Advances in Knowledge Discovery and Data Mining.]" ''8th Pacific-Asia Conference, PAKDD 2004, Syd ...11 KB (1,846 words) - 18:47, 9 March 2024
- ...on (AMR)|publisher=}}</ref> is a [[Formal semantics (linguistics)|semantic representation language]]. AMR graphs are rooted, labeled, directed, acyclic graphs ([[Dir ...clanthology.org/C98-1112 Generation that Exploits Corpus-Based Statistical Knowledge], In COLING 1998 Volume 1: The 17th International Conference on Computation ...5 KB (764 words) - 06:51, 17 January 2025
- ...e used as a way to incorporate expressive{{clarify|date=April 2013}} prior knowledge into the model and bias the assignments made by the learned model to satisf ...ng of problems by providing the opportunity to incorporate domain-specific knowledge as global constraints using a first order language. Using this declarative ...13 KB (1,838 words) - 02:49, 22 December 2023
- ...the definition of ''G'' is as the [[Zariski closure]] of the image in the representation of the [[circle group]], over the [[rational numbers]]. {{harvs|txt|author ...ebraic torus ''T'' used to describe Hodge structures has a concrete matrix representation, as the 2×2 invertible matrices of the shape that is given by the act ...6 KB (907 words) - 13:06, 8 November 2023
- == Parametric representation == ...enerate the so called corresponding '''midchord surface'''. Its parametric representation is ...9 KB (1,382 words) - 03:29, 20 January 2025
- The history of [[representation theory]] concerns the [[mathematics|mathematical]] development of the study ...ng [[matrix (mathematics)|matrices]] and [[linear algebra]]. In some ways, representation theory predates the mathematical objects it studies: for example, [[permuta ...8 KB (1,048 words) - 08:26, 3 December 2024
- ...' of the ''actions'' that can be executed within its ''environment''. This knowledge is usually represented in logic-based [[action description language]] and u ...goals change. When an agent acted for a while, it can use its accumulated knowledge about actions in the domain to make better decisions. Thus, learning action ...7 KB (968 words) - 15:22, 24 February 2025
- ...(individual words or entire documents) that uses a document corpus as a [[knowledge base]]. Specifically, in ESA, a word is represented as a column vector in t ...ottleneck using Wikipedia: enhancing text categorization with encyclopedic knowledge |conference=Proc. 21st National Conference on Artificial Intelligence (AAAI ...9 KB (1,226 words) - 20:19, 23 March 2024
- ...hese operations, automatically form a distributive lattice, and Birkhoff's representation theorem states that every finite distributive lattice can be formed in this ...e lattices and [[partial order]]s, between [[Knowledge space|quasi-ordinal knowledge spaces]] and [[preorder]]s, or between [[finite topological space]]s and pr ...21 KB (3,248 words) - 21:12, 17 July 2024
- ...ogether with the knowledge how these small subspaces intersect. In a cycle representation of the associated homology theory, this means that all cycles must be repre ...retation when <math>X</math> is a compact topological manifold. Therefore, knowledge about the geometry of compact topological manifolds may be obtained by stud ...5 KB (806 words) - 12:09, 27 March 2022
- A standard way of writing real numbers is by their [[decimal representation]], such as: ...>, ''a''<sub>3</sub>, ... are integers between 0 and 9. Given this representation the number ''x'' is equal to ...8 KB (1,152 words) - 03:54, 31 January 2025
- {{Short description|Machine learning method to transfer knowledge from a large model to a smaller one}} ...[[mobile device]]).<ref name="Hinton15">{{cite arXiv|title=Distilling the knowledge in a neural network|year=2015|eprint=1503.02531|last1=Hinton|first1=Geoffre ...17 KB (2,606 words) - 11:32, 6 February 2025
- ==Knowledge about music signal== ...hown in Figure 1. Spectrogram is the square of STFT, time-varying spectral representation. The spectrogram of a signal ''s''(''t'') can be estimated by computing the ...6 KB (973 words) - 03:01, 29 January 2024