Search results

Jump to navigation Jump to search

  • AnswerEX1-d
    ''U = {Alice,Paul,Tom,Lisa,Walter''}<br/><br/> I ('''Lisa''') = ''Lisa''<br/><br/>
    2 KB (228 words) - 13:36, 29 January 2013
  • AnswerEX2-b1
    '''father-of-someone'''('''paul''','''lisa''') = ''true'', I('''lisa''') = <''Lisa''>
    288 bytes (31 words) - 12:29, 15 May 2013
  • ExerciseFOLSemantics-1c
    ...isa''>,<''Lisa, Paul''>,<''Paul, Tom''>,<''Tom, Paul''>,<''Tom, Lisa''>,<''Lisa, Tom''>}
    705 bytes (82 words) - 15:03, 22 May 2013
  • ExerciseFOModels-c
    ...''y''> | ''x'' is the father of ''y''} ={<''Paul'', ''Tom''>, <''Paul'',''Lisa''>} ...'x'', ''y''> | ''x'' is the daughter of ''y''} = {<''Lisa'', ''Paul''>, <''Lisa'', ''Alice''>}
    2 KB (167 words) - 20:58, 21 October 2013
  • ExerciseFOModels-d
    .... Both Lisa and her father are tall, while Alice and Tom are rather small. Lisa and her mom share the same hair color, which is blonde. The family enjoys w ''U'' = {''Alice,Paul,Tom,Lisa,Walter''}<br/><br/>
    3 KB (326 words) - 15:03, 22 May 2013
  • AnswerEX3-a
    Sentence: Alice is a dog and Lisa and Tom enjoy watching football together. <nowiki>[[</nowiki>'''dog (Alice) Ʌ enjoy-watching-football-together (Lisa,Tom)''']] = ''false''<br/>
    853 bytes (108 words) - 13:43, 29 January 2013
  • ExerciseFOModels-a
    Lisa<br/> ''U''= {''Alice, Paul, Lisa, Tom, Walter''}
    757 bytes (95 words) - 21:02, 21 October 2013
  • ExerciseFOLSemantics-1a
    '''father-of-someone'''('''paul''','''lisa''') = ''true'' iff<br /> < I('''paul'''), I('''lisa''') > &isin; I('''father-of-someone''') iff<br />
    515 bytes (61 words) - 14:38, 22 May 2013
  • Glossary: G-Function
    {{CreatedByStudents1213}} ''Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], [[User:Isa Sentence with proper names: ''Alice likes watching footbal together with Lisa.''
    2 KB (192 words) - 15:56, 11 April 2013
  • ExerciseFOModels-b
    '''tall''': { <''x''> | ''x'' is tall} = {<''Paul''>, <''Lisa''>} '''blonde''':{ <''x''> | ''x'' is blonde} = {<''Alice''>, <''Lisa''>}
    1 KB (140 words) - 17:23, 15 October 2013
  • Glossary: I-Function
    {{CreatedByStudents1213}} ''Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], [[User:Isa I('''lisa''')= ''lisa''
    1 KB (130 words) - 15:48, 11 April 2013
  • AnswerEX1-a
    Lisa<br/> ''U= {Alice,Paul,Lisa,Tom,Walter}''
    312 bytes (49 words) - 09:23, 29 January 2013
  • Exercise Semantics of Predicate Logic
    * '''father-of-someone'''('''paul''','''lisa''') <nowiki>[[</nowiki>'''father-of-someone'''('''paul''','''lisa''')]] = ''true'' iff<br />
    4 KB (534 words) - 08:01, 14 April 2015
  • Exercise First Order Models
    {{CreatedByStudents1213}}<br />''Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], and [[User .... Both Lisa and her father are tall, while Alice and Tom are rather small. Lisa and her mom share the same hair color, which is blonde. The family enjoys w
    5 KB (681 words) - 20:43, 6 January 2014
  • Creation of the World
    .... Both Lisa and her father are tall, while Alice and Tom are rather small. Lisa and her mom share the same hair color, which is blonde. The family enjoys w
    2 KB (290 words) - 10:25, 22 February 2013
  • Semantics 1, WiSe 2016/17, Week 4
    {{CreatedByStudents1213}} Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], [[User:Isa This is shown in the following podcast, created by [[User:Lisa|Lisa Günthner]].
    8 KB (1,033 words) - 23:58, 31 October 2016
  • Formulae and their interpretation
    '''*[[AnswerEX2-a3|father-of-someone(Alice,Lisa)]]''' '''* [[AnswerEX2-b1|father-of-someone(Paul,Lisa)]]'''
    1 KB (155 words) - 09:58, 29 January 2013
  • Exercise on Predicate Logic
    *[[AnswerEX2-a3|father of someone(Alice,Lisa)]] * [[AnswerEX2-b1|father of someone(Paul,Lisa)]]
    995 bytes (148 words) - 19:21, 24 January 2013
  • Glossary: Logical Connectives
    {{CreatedByStudents1213}} ''Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], [[User:Isa
    1 KB (168 words) - 15:45, 11 April 2013
  • Exercise Syntax of Predicate Logic
    {{CreatedByStudents1213}}<br />''Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], and [[User .... Both Lisa and her father are tall, while Alice and Tom are rather small. Lisa and her mom share the same hair color, which is blonde. The family enjoys w
    5 KB (663 words) - 15:49, 5 May 2013
  • ExerciseFOLSemantics-1b
    < ''Walter'' > &isin; {< ''Alice'' >,< ''Lisa'' >}.
    466 bytes (58 words) - 14:45, 22 May 2013
  • Interpretation of formulae with connectives
    '''a.)''' Alice is a dog and Lisa and Tom enjoy watching football together.
    517 bytes (81 words) - 13:44, 29 January 2013
  • AnswerEX2-a3
    =='''father-of-someone(Alice,Lisa)''' '''is''' a formula==
    442 bytes (66 words) - 09:58, 29 January 2013
  • Semantics 1 (Sailer): Week 5
    This is shown in the following podcast, created by [[User:Lisa|Lisa Günthner]].
    3 KB (413 words) - 09:00, 24 May 2016
  • Glossary: Predicate
    {{CreatedByStudents1213}} Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], [[User:Isa
    2 KB (312 words) - 15:23, 11 April 2013
  • General Explanation Formulae
    ...to stand in the brackets behind the expression e.g. father of someone(Paul,Lisa).
    896 bytes (139 words) - 19:34, 24 January 2013
  • Wiki-ch2
    {{CreatedByStudents1213}} Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], [[User:Isa {{CreatedByStudents1213}} Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], [[User:Isa
    8 KB (1,062 words) - 12:07, 19 April 2023
  • SoSe15: Term paper project: Color Adjectives
    ...e calls Lisa to be a participant in her study on naturally blue hair. When Lisa now says she has blue hair and can participate in the study, she ''speaks f *as the scenario shows: Lisa and Mary are in the same scenario, but they have distinct utterances of the
    10 KB (1,518 words) - 18:22, 3 April 2016
  • NMTS-Group9
    '''[[User:Lisa| Lisa]]''' <br /> '''[[User:Marthe| Marthe]]''' <br /> '''[[User:Elisabeth.krall| File:Lisa.jpg|Lisa
    6 KB (801 words) - 22:23, 30 May 2018
  • NMTS Meeting 2
    ** Members: [[User:Lisa|Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]],[[User:IsaB
    3 KB (447 words) - 22:52, 11 February 2013
  • SoSe23: Semantics 1
    This is shown in the following podcast, created by [[User:Lisa|Lisa Günthner]]. {{CreatedByStudents1213}} Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], [[User:Isa
    13 KB (1,720 words) - 22:35, 7 June 2023
  • SoSe22: Constraint-based Semantics 2
    {{CreatedByStudents1213}} Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], [[User:Isa
    7 KB (996 words) - 08:31, 7 June 2022
  • Semantics 1, WiSe 2016/17, Week 3
    {{CreatedByStudents1213}} Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], [[User:Isa
    7 KB (1,072 words) - 20:15, 24 October 2016
  • Semantics 1, SoSe 2016 (Sailer): Week 3
    {{CreatedByStudents1213}} Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], [[User:Isa
    8 KB (1,227 words) - 20:16, 24 October 2016
  • Basic Glossary
    * [[Glossary:Hyponym|'''hyponym''']] ([[User:Lisa]])
    4 KB (428 words) - 01:24, 24 June 2016
  • NMTS-InferencePage
    == Dialogue by [[User:Lisa]]== # Lisa and Verena are chatting during a lecture. <br>
    20 KB (3,298 words) - 18:42, 15 January 2013
  • UserPageComments
    * [[User:Lisa]]
    4 KB (544 words) - 22:05, 22 October 2012
  • Semantics 1, WiSe 2019/20 (Sailer)
    This is shown in the following podcast, created by [[User:Lisa|Lisa Günthner]]. {{CreatedByStudents1213}} Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], [[User:Isa
    21 KB (2,959 words) - 11:30, 29 January 2020
  • WiSe 2020/21 (Sailer): Semantics 1
    This is shown in the following podcast, created by [[User:Lisa|Lisa Günthner]]. {{CreatedByStudents1213}} Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], [[User:Isa
    24 KB (3,475 words) - 07:52, 16 February 2021
  • SoSe21: Semantics 1
    This is shown in the following podcast, created by [[User:Lisa|Lisa Günthner]]. {{CreatedByStudents1213}} Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], [[User:Isa
    22 KB (3,084 words) - 09:10, 1 November 2021
  • Semantics 1, SoSe 2017 (Sailer)
    This is shown in the following podcast, created by [[User:Lisa|Lisa Günthner]]. {{CreatedByStudents1213}} Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], [[User:Isa
    30 KB (4,049 words) - 08:42, 18 July 2017
  • NMTS Meeting 3
    ** [[User:Lisa]]: provide the description for the picture. (The information is there, you
    6 KB (797 words) - 22:08, 30 October 2012
  • Lara's Term Paper
    # No guy likes Lisa. # '''No guy likes Lisa.'''
    32 KB (4,898 words) - 09:14, 29 June 2016
  • Semantics 1, SoSe 2019 (Sailer)
    This is shown in the following podcast, created by [[User:Lisa|Lisa Günthner]]. {{CreatedByStudents1213}} Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], [[User:Isa
    27 KB (3,707 words) - 20:04, 15 July 2019
  • Semantics 1, WiSe 2018/19 (Sailer)
    This is shown in the following podcast, created by [[User:Lisa|Lisa Günthner]]. {{CreatedByStudents1213}} Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], [[User:Isa
    28 KB (3,974 words) - 09:17, 13 February 2019
  • Semantics 1, SoSe 2016 (Sailer)
    {{CreatedByStudents1213}} Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], [[User:Isa
    19 KB (2,563 words) - 22:24, 4 July 2016
  • Semantics 1, SoSe 2018 (Sailer)
    This is shown in the following podcast, created by [[User:Lisa|Lisa Günthner]]. {{CreatedByStudents1213}} Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], [[User:Isa
    35 KB (4,856 words) - 23:28, 21 January 2019
  • Semantics 1, WiSe 1718
    This is shown in the following podcast, created by [[User:Lisa|Lisa Günthner]]. {{CreatedByStudents1213}} Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], [[User:Isa
    42 KB (5,792 words) - 09:08, 6 February 2018
Retrieved from "http:///wiki/index.php/Special:Search"