Found 52 Documents (Results 1–52)
On Groenendijk and Stokhof’s “Dynamic predicate logic”. (English) Zbl 1530.03123
McNally, Louise (ed.) et al., A reader’s guide to classic papers in formal semantics. Volume 100 of Studies in Linguistics and Philosophy. Cham: Springer. Stud. Linguist. Philos. 100, 121-153 (2022).
Assertion, rejection, and semantic universals. (English) Zbl 07547769
Ghosh, Sujata (ed.) et al., Logic, rationality, and interaction. 8th international workshop, LORI 2021, Xi’ian, China, October 16–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13039, 183-191 (2021).
MSC:
03B65
Modal logic via global consequence. (English) Zbl 1540.03049
Silva, Alexandra (ed.) et al., Logic, language, information, and computation. 27th international workshop, WoLLIC 2021, virtual event, October 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13038, 117-132 (2021).
MSC:
03B45
Revision operator semantics: some order for the zoo of conditionals. (English) Zbl 1505.03060
Sedlár, Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications. 93-110 (2020).
Uncertainty and persistence: a Bayesian update semantics for probabilistic expressions. (English) Zbl 1436.03174
Compositional weak metrics for group key update. (English) Zbl 1441.68146
Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 72, 16 p. (2017).
Update semantics for weak necessity modals. (English) Zbl 1418.03103
Roy, Olivier (ed.) et al., Deontic logic and normative systems. 13th international conference, DEON 2016, Bayreuth, Germany, July 18–21, 2016. Proceedings. London: College Publications. 237-255 (2016).
MSC:
03B45
Context update for lambdas and vectors. (English) Zbl 1485.03073
Amblard, Maxime (ed.) et al., Logical aspects of computational linguistics. Celebrating 20 years of LACL (1996–2016). 9th international conference, LACL 2016, Nancy, France, December 5–7, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10054, 247-254 (2016).
An update on epistemic modals. (English) Zbl 1354.03034
For a dynamic semantics of necessity deontic modals. (English) Zbl 1445.03027
Cariani, Fabrizio (ed.) et al., Deontic logic and normative systems. 12th international conference, DEON 2014, Ghent, Belgium, July 12–15, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8554, 124-138 (2014).
MSC:
03B45
Capturing model-based ontology evolution at the instance level: the case of DL-Lite. (English) Zbl 1307.68078
Reviewer: Udo Hahn (Jena)
Action emulation. (English) Zbl 1274.03030
MSC:
03B42
A constructive analysis of learning in Peano arithmetic. (English) Zbl 1257.03083
Reviewer: G. E. Mints (Stanford)
Symmetric lenses. (English) Zbl 1284.18009
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 371-384 (2011).
Update translation in instance mapped heterogeneous peer databases. (English) Zbl 1250.68098
MSC:
68P15
Update semantics for imperatives with priorities. (English) Zbl 1298.03090
van Ditmarsch, Hans (ed.) et al., Logic, rationality, and interaction. Third international workshop, LORI 2011, Guangzhou, China, October 10–13, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24129-1/pbk). Lecture Notes in Computer Science 6953. Lecture Notes in Artificial Intelligence, 125-138 (2011).
MSC:
03B65
Matching lenses: alignment and view update. (English) Zbl 1323.68062
Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP ’10, Baltimore, MD, USA, September 27–29, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-794-3). ACM SIGPLAN Notices 45, No. 9, 193-204 (2010).
Combining syntactic and semantic bidirectionalization. (English) Zbl 1323.68170
Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP ’10, Baltimore, MD, USA, September 27–29, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-794-3). ACM SIGPLAN Notices 45, No. 9, 181-192 (2010).
New surprises for the Ramsey test. (English) Zbl 1216.03024
MSC:
03A05
Quotient lenses. (English) Zbl 1323.68071
Proceedings of the 13th ACM SIGPLAN international conference on functional programming, ICFP ’08, Victoria, BC, Canada, September 20–28, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-919-7). ACM SIGPLAN Notices 43, No. 9, 383-396 (2008).
FLUX: functional updates for XML. (English) Zbl 1323.68101
Proceedings of the 13th ACM SIGPLAN international conference on functional programming, ICFP ’08, Victoria, BC, Canada, September 20–28, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-919-7). ACM SIGPLAN Notices 43, No. 9, 3-14 (2008).
Compositional belief update. (English) Zbl 1183.68572
MSC:
68T20
Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. (English) Zbl 1369.68136
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’05, Long Beach, CA, USA, January 12–14, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-830-X). 233-246 (2005).
New foundations for epistemic change. (English) Zbl 1045.03007
Reviewer: David Makinson (MR2033665)
Dynamic normative reasoning under uncertainty: How to distinguish between obligations under uncertainty and prima facie obligations. (English) Zbl 1001.03022
Gabbay, Dov M. (ed.) et al., Handbook of defeasible reasoning uncertainty management systems. Vol. 6: Dynamics and management of reasoning processes. Dordrecht: Kluwer Academic Publishers. 267-297 (2001).
Reviewer: David Makinson (London)
Information in discourse: A game for many agents. (English) Zbl 0987.03029
Cavedon, Lawrence (ed.) et al., Logic, language and computation. Vol. 3. Proceedings of the 3rd international conference on information-theoretic approaches to logic, language, and computation (ITALLC), Hsi-tou, Taiwan, June 16-19, 1998. Stanford, CA: CSLI Publications. CSLI Lect. Notes. 111, 295-318 (2000).
Updates and counterfactuals. (English) Zbl 0901.03025
An update on “might”. (English) Zbl 0887.03022
Reviewer: P.Materna (Praha)
MSC:
03B65
Typed logics with states. (English) Zbl 0885.03015
Reviewer: C.Berline (Paris)
This might be it. (English) Zbl 0862.03010
Seligman, Jerry (ed.) et al., Logic, language and computation. Vol. 1. Proceedings of the conference on information-oriented approaches to logic, language and computation, Moraga, CA, USA, June 12–15, 1994. Stanford, CA: Center for the Study of Language and Information (CSLI). CSLI Lect. Notes. 58, 255-270 (1996).
Defaults in update semantics. (English) Zbl 0860.03025
Reviewer: H.Wansing (Leipzig)
Database updates and transition constraints: A formula-based approach. (English) Zbl 0805.68031
MSC:
68P15
Dynamic semantics and circular propositions. (English) Zbl 0798.03003
Reviewer: G.Priest (Brisbane)
A uniform treatment of order of evaluation and aggregate update. (English) Zbl 0779.68012
Reviewer: M.Draghicescu
MSC:
68N15
Comprehending monads. (English) Zbl 0798.68040
Updating intensional predicates in Datalog. (English) Zbl 0794.68039
MSC:
68P15
68T15
Two theories of dynamic semantics. (English) Zbl 0797.03023
Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 55-64 (1991).
MSC:
03B65
The revised Gärdenfors postulates and update semantics. (English) Zbl 0774.68092
Database theory, Proc. 3rd Int. Conf., ICDT ’90, Paris/Fr. 1990, Lect. Notes Comput. Sci. 470, 409-421 (1990).
Update semantics under the domain closure assumption. (English) Zbl 0643.68170
Database theory, Proc. Int. Conf., Rome/Italy 1986, Lect. Notes Comput. Sci. 243, 123-140 (1986).
MSC:
68P20
Filter Results by …
Document Type
- Journal Articles (31)
- Collection Articles (21)
all
top 5
Author
- Pierce, Benjamin C. (4)
- Groeneveld, Willem (3)
- Spyratos, Nicolas (3)
- Veltman, Frank (3)
- Cholvy, Laurence (2)
- Foster, J. Nathan (2)
- Gillies, Anthony S. (2)
- Groenendijk, Jeroen A. G. (2)
- Laurent, Dominique (2)
- Stokhof, Martin J. B. (2)
- van Eijck, Jan (2)
- Willer, Malte (2)
- Aschieri, Federico (1)
- Atzeni, Paolo (1)
- Bancilhon, Francois (1)
- Barbosa, Davi M. J. (1)
- Bidoit, Nicole (1)
- Biskup, Joachim (1)
- Calvanese, Diego (1)
- Cerrito, Serenella (1)
- Chen, Weidong (1)
- Cheney, James (1)
- Cretin, Julien (1)
- del Val, Alvaro (1)
- Delgrande, James P. (1)
- Draghicescu, Mircea (1)
- Fermé, Eduardo Leopoldo (1)
- Foob, Norman Y. (1)
- Foster, Nate (1)
- Froidevaux, Christine (1)
- Georgatos, Konstantinos (1)
- Gerbrandy, Jelle (1)
- Gonçalves, Sara (1)
- Grahne, Gösta (1)
- Greenberg, Michael D. (1)
- Greenwald, Michael B. (1)
- Hegner, Stephen J. (1)
- Hofmann, Martin (1)
- Hu, Zhenjiang (1)
- Jin, Yi (1)
- Ju, Fengkui (1)
- Kharlamov, Evgeny (1)
- Kiringa, Iluju (1)
- Lanotte, Ruggero (1)
- Liu, Fenrong (1)
- Liu, Julie Yuchih (1)
- Marra, Alessandra (1)
- Masud, Mehedi (1)
- Matsuda, Kazutaka (1)
- Merro, Massimo (1)
- Moore, Jonathan T. (1)
- Muskens, Reinhard A. (1)
- Pelletier, Francis Jeffry (1)
- Pilkiewicz, Alexandre (1)
- Purushothaman, Sudarshan P. (1)
- Raidl, Eric (1)
- Ruan, Ji (1)
- Rudin, Deniz (1)
- Sadrzadeh, Mehrnoosh (1)
- Sadzik, Tomasz (1)
- Sbardolini, Giorgio (1)
- Schmitt, Alan (1)
- Shoham, Yoav (1)
- Silk, Alex (1)
- Tan, Yao-Hua (1)
- Tini, Simone (1)
- Torlone, Riccardo (1)
- van Benthem, Johan F. A. K. (1)
- van der Does, Jaap (1)
- van der Torre, Leendert W. N. (1)
- Vermeulen, Kees (1)
- Voigtlander, Janis (1)
- Wadler, Philip Lee (1)
- Wagner, Daniel (1)
- Wang, Meng (1)
- Wen, Xuefeng (1)
- Willard, Leigh (1)
- Yuan, Li Yan (1)
- Zhanga, Yan (1)
- Zheleznyakov, Dmitriy (1)
all
top 5
Serial
- J. Philos. Log. (4)
- J. Logic Lang. Inf. (4)
- Synthese (3)
- J. Log. Comput. (3)
- ACM Trans. Database Syst. (2)
- J. Comput. Syst. Sci. (2)
- Data Knowl. Eng. (2)
- Artif. Intell. (1)
- Theor. Comput. Sci. (1)
- Ann. Pure Appl. Logic (1)
- Int. J. Intell. Syst. (1)
- Int. J. Approx. Reasoning (1)
- Math. Struct. Comput. Sci. (1)
- J. Appl. Non-Class. Log. (1)
- J. Artif. Intell. Res. (JAIR) (1)
- Ann. Math. Artif. Intell. (1)
- Log. J. IGPL (1)
- Int. J. Semant. Comput. (1)